APA (7th ed.) Citation

(2015). Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (1st ed. 2015.). Springer International Publishing. https://doi.org/10.1007/978-3-319-21401-6

Chicago Style (17th ed.) Citation

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. 1st ed. 2015. Cham: Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-21401-6.

MLA (9th ed.) Citation

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. 1st ed. 2015. Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-21401-6.