Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases

Mark Wallace. Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. In SLP. pages 253-263, 1987.

Abstract

Abstract is missing.