Eiter, T., & Gottlob, G. (1993). Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete.
Chicago-referens (17:e uppl.)Eiter, T., och G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
MLA-referens (9:e uppl.)Eiter, T., och G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.