Why Not Negation by Fixpoint?

Phokion G. Kolaitis, Christos H. Papadimitriou

Browse the full PODS paper archive.