"Negation as Partial Failure."

Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics