Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings - Nieuwenhuis, Robert (Springer, 2005)