Nachum Dershowitz, N. Alan Josephson. Logic Programming by Completion. In ICLP. pages 313-320, 1984.
@inproceedings{DershowitzJ84, title = {Logic Programming by Completion}, author = {Nachum Dershowitz and N. Alan Josephson}, year = {1984}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/DershowitzJ84}, cites = {0}, citedby = {0}, pages = {313-320}, booktitle = {ICLP}, }