Frank Pfenning Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings CADE Lecture Notes in Computer Science 4603 Springer 2007 978-3-540-73594-6 db/conf/cade/cade2007.html