Why not negation by fixpoint (1988)

by P Kolaitis, C Papadimitriou
Venue:In Proceedings of the ACM Symposium on Principles of Database Systems