Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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