Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Peltier, N., & Sofronie-Stokkermans, V. (2012). First-order Theorem Proving: Foreword. Journal of Symbolic Computation, 47(9), 1009-1010. doi:10.1016/j.jsc.2011.12.030.