APA (7th ed.) Citation

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 (9th ed.) Citation

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