Eiter, T., & Gottlob, G. (1993). Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete.
芝加哥风格引文Eiter, T., 与 G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
MLA引文Eiter, T., 与 G. Gottlob. Propositional Circumscription and Extended Closed−World Reasoning Are IIp2−Complete. 1993.
警告：这些引文格式不一定是100％准确.