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

Cached

Download Links

by Thomas Eiter , Georg Gottlob
Venue:Theoretical Computer Science
Citations:99 - 22 self