Author: International Conference on Automated Deduction (21st 2007 Bremen, Germany)