Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings - Schmidt, Renate A. (Springer Berlin Heidelberg : Imprint: Springer, 2009)