Logic Programs with Classical Negation.

Michael Gelfond Vladimir Lifschitz Logic Programs with Classical Negation. 579-597 1990 ICLP db/conf/iclp/iclp90.html#GelfondL90