Ehud Y. Shapiro
An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation
ICLP, 1987.
@inproceedings{ICLP-1987-Shapiro87, author = "Ehud Y. Shapiro", booktitle = "{Proceedings of the Fourth International Conference on Logic Programming, 2 Volumes}", isbn = "0-262-12125-5", pages = "311--337", publisher = "{MIT Press}", title = "{An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation}", year = 1987, }