Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
Thomas Eiter and Georg Gottlob
Journal
Theor. Comput. Sci.
Number
2
Pages
231−245
Volume
114
Year
1993
Thomas Eiter and Georg Gottlob