APA引文

Kazakov, Y. (2005). A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures. Max−Planck−Institut für Informatik.

Chicago Style (17th ed.) Citation

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％准確.