Avshalom Houri, Ehud Y. Shapiro. A Sequential Abstract Machine for Flat Concurrent Prolog. Journal of Logic and Algebraic Programming, 7(2):85-123, 1989.
@article{HouriS89, title = {A Sequential Abstract Machine for Flat Concurrent Prolog}, author = {Avshalom Houri and Ehud Y. Shapiro}, year = {1989}, tags = {Prolog, abstract machine}, researchr = {https://researchr.org/publication/HouriS89}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {7}, number = {2}, pages = {85-123}, }