Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings - Nieuwenhuis, Robert (Springer Berlin Heidelberg, 2005)