Robert Nieuwenhuis Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings 3632 2005 3-540-28005-7 CADE Lecture Notes in Computer Science Springer db/conf/cade/cade2005.html