Automated Deduction – CADE-20

MLA

Kanade, Takeo, Robert Nieuwenhuis, and Josef Kittler. Automated Deduction – Cade-20. Springer Berlin / Heidelberg, 2005.

APA

Kanade, T., Nieuwenhuis, R., & Kittler, J. (2005). Automated Deduction – CADE-20. Springer Berlin / Heidelberg.

Chicago

Kanade, Takeo, Robert Nieuwenhuis, and Josef Kittler. Automated Deduction – CADE-20. : Springer Berlin / Heidelberg, 2005.