Eiter, T., & Gottlob, G. (1993). Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete.
Цитирование в стиле Чикаго (17-е изд.)Eiter, T., и G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
Цитирование MLA (9-е изд.)Eiter, T., и G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.