Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
https://rdcu.be/cbpdy (Publisher version)
England, M., Koepf, W., Sadykov, T., Seiler, W. M., & Sturm, T. (2021). Foreword, with a Dedication to Andreas Weber. Mathematics in Computer Science, 15, 173-175. doi:10.1007/s11786-020-00476-y.