Why not negation by fixpoint?

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '88 ◽

10.1145/308386.308446 ◽

1988 ◽

Cited By ~ 39

Author(s):

Phokion G. Kolaitis ◽

Christos H. Papadimitriou

Download Full-text