Gopal Gupta, Vítor Santos Costa. Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. In SPDP. pages 288-295, 1992.
@inproceedings{GuptaC92,
title = {Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog},
author = {Gopal Gupta and Vítor Santos Costa},
year = {1992},
tags = {Prolog, completeness},
researchr = {https://researchr.org/publication/GuptaC92},
cites = {0},
citedby = {0},
pages = {288-295},
booktitle = {SPDP},
}