Automated Deduction -- CADE-23 : 23rd International Conference on Automated Deduction, Wroc.aw, Poland, July 31 -- August 5, 2011, Proceedings - Nikolaj Bjørner, Viorica Sofronie-Stokkermans ((Lecture Notes in Computer Science))