Cite
APA Citation
Felty, A., & Middeldorp, A. (Eds.) (2015). Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100071220268.0x000001