On the Declarative Semantics of Logic Programs with Negation.

Vladimir Lifschitz On the Declarative Semantics of Logic Programs with Negation. 177-192 Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988 0-934613-40-0 db/books/collections/minker88.html#Lifschitz88