Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
https://rdcu.be/cyLbU (Publisher version)
England, M., Boulier, F., Sadykov, T., & Sturm, T. (2021). Foreword, with a Dedication to Vladimir Gerdt. Mathematics in Computer Science, 15, 369-371. doi:10.1007/s11786-021-00509-0.