Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings - Felty, Amy P.; Middeldorp, Aart (Springer International Publishing : Imprint: Springer, 2015)