Automated Deduction - CADE-25 - Amy P. Felty, Aart Middeldorp (Springer International Publishing, 2015)