इसका टेक्स्ट मैसेज भेजे: Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete