Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings. ISBN 9783540280057. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.