Propositional Circumscription and Extended Closed World Reasoning are $\Pi^P_2$-complete (1993)

by Thomas Eiter, Georg Gottlob
Venue:Theoretical Computer Science