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

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