Automated Deduction – CADE-21

MLA

Pfenning, Frank, and Jörg Siekmann. Automated Deduction – Cade-21. Springer Berlin Heidelberg, 2007.

APA

Pfenning, F., & Siekmann, J. (2007). Automated Deduction – CADE-21. Springer Berlin Heidelberg.

Chicago

Pfenning, Frank, and Jörg Siekmann. Automated Deduction – CADE-21. : Springer Berlin Heidelberg, 2007.