Logic Programming by Completion.

Nachum Dershowitz, N. Alan Josephson

Browse the full ICLP paper archive.