Logic programming by completion (1984)

by N Dershowitz, N A Josephson
Venue:Proceedings of the Second International Conference on Logic Programming