John S. Conery
Implementing Backward Execution in Non-Deterministic AND-Parallel Systems
ICLP, 1987.
@inproceedings{ICLP-1987-Conery87,
author = "John S. Conery",
booktitle = "{Proceedings of the Fourth International Conference on Logic Programming, 2 Volumes}",
isbn = "0-262-12125-5",
pages = "633--653",
publisher = "{MIT Press}",
title = "{Implementing Backward Execution in Non-Deterministic AND-Parallel Systems}",
year = 1987,
}