Negation as failure using tight derivations for general logic programs (1988)

by A Van Gelder
Venue:Foundations of Deductive Databases and Logic Programming