On the declarative semantics of logic programs with negation (1988)

by V Lifschitz
Venue:Foundations of Deductive Databases and Logic Programming