Maarten H. van Emden. An Algorithm for Interpreting Prolog Programs. In ICLP. pages 56-64, 1982.
@inproceedings{Emden82, title = {An Algorithm for Interpreting Prolog Programs}, author = {Maarten H. van Emden}, year = {1982}, tags = {Prolog}, researchr = {https://researchr.org/publication/Emden82}, cites = {0}, citedby = {0}, pages = {56-64}, booktitle = {ICLP}, }