Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Frank Pfenning ((Lecture Notes in Computer Science))