Automated deduction - Cade-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22 - 27, 2005 ; proceedings (Springer, 2005)