Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Bjørner, N., & Sofronie-Stokkermans, V. (Eds.). (2011). Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction. Berlin: Springer.