Automated Deduction - CADE-25 - Felty; Middeldorp, Aart (Springer International Publishing, 2015)