Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings - Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica (Springer Berlin Heidelberg : Imprint: Springer, 2011)