Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings - Pfenning, Frank (Springer Berlin Heidelberg, 2007)