Kazakov, Y. (2005). A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures. Max−Planck−Institut für Informatik.
芝加哥风格引文Kazakov, Y. A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures. Max−Planck−Institut für Informatik, 2005.
MLA引文Kazakov, Y. A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures. Max−Planck−Institut für Informatik, 2005.
警告：这些引文格式不一定是100％准确.