Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Bjørner, N., & Sofronie-Stokkermans, V. (2013). Preface: Special Issue of Selected Extended Papers of CADE-23. Journal of Automated Reasoning, 51(1), 1-2. doi:10.1007/s10817-013-9282-9.