Renate A. Schmidt Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings CADE 5663 2009 http://dx.doi.org/10.1007/978-3-642-02959-2 978-3-642-02958-5 Lecture Notes in Computer Science Springer db/conf/cade/cade2009.html