On the Declarative Semantics of Logic Programs with Negation (1988)

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