Bjørner, N., & Sofronie-Stokkermans, V. (Eds.). (2011). Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction. Berlin: Springer.