Negation as Failure Using Tight Derivations for General Logic Programs.

Allen Van Gelder Negation as Failure Using Tight Derivations for General Logic Programs. 149-176 Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988 0-934613-40-0 db/books/collections/minker88.html#Gelder88