Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Fontaine, P., Sturm, T., & Waldmann, U. (2015). Foreword to the Special Focus on Constraints and Combinations. Mathematics in Computer Science, 9(3), 265-265. doi:10.1007/s11786-015-0239-8.