Gracefully adding negation and disjunction to Prolog.

David Poole, Randy Goebel

Browse the full ICLP paper archive.