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

View PDF

Download Links

by Thomas Eiter , Georg Gottlob
Venue:Theoretical Computer Science
Citations:105 - 20 self