Eiter, T., & Gottlob, G. (1993). Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete.
Citação do estilo Chicago (17ª ed.)Eiter, T., e G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
Citação MLA (9ª ed.)Eiter, T., e G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.