Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete - Eiter, T; Gottlob, G (1993)