Eiter, T., & Gottlob, G. (1993). Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete.
Chicago-Zitierstil (17. Ausg.)Eiter, T., und G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
MLA-Zitierstil (9. Ausg.)Eiter, T., und G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.