Author: International Conference on Automated Deduction (20th 2005 Tallinn, Estonia)