Amy P. Felty, Aart Middeldorp

Automated Deduction - CADE-25 - 1st ed. 2015 - Springer International Publishing 2015 - Lecture Notes in Computer Science .

978-3-319-21401-6