Bruce T. Smith, Donald W. Loveland
A Simple Near-Horn Prolog Interpreter
ICLP, 1988.
@inproceedings{JICSCP-1988-SmithL88,
author = "Bruce T. Smith and Donald W. Loveland",
booktitle = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}",
isbn = "0-262-61056-6",
pages = "794--809",
publisher = "{MIT Press}",
title = "{A Simple Near-Horn Prolog Interpreter}",
year = 1988,
}