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

by A Van Gelder
Venue:In [Min88