Automated Deduction - CADE-25

MLA

Felty, and Aart Middeldorp. Automated Deduction - Cade-25. Springer International Publishing, 2015.

APA

Felty, F., & Middeldorp, A. (2015). Automated Deduction - CADE-25. Springer International Publishing.

Chicago

Felty, and Aart Middeldorp. Automated Deduction - CADE-25. : Springer International Publishing, 2015.