Logic Programs with Classical Negation.

Michael Gelfond, Vladimir Lifschitz

Browse the full ICLP paper archive.