David W. Reed, Donald W. Loveland. Near-Horn Prolog and the Ancestry Family of Procedures. Annals of Mathematics and Artificial Intelligence, 14(2-4):225-249, 1995.
@article{ReedL95, title = {Near-Horn Prolog and the Ancestry Family of Procedures}, author = {David W. Reed and Donald W. Loveland}, year = {1995}, tags = {Prolog}, researchr = {https://researchr.org/publication/ReedL95}, cites = {0}, citedby = {0}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {14}, number = {2-4}, pages = {225-249}, }