Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, T. (2018). Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. In C. Arreche (Ed.), ISSAC'18 (pp. 11-16). New York, NY: ACM. doi:10.1145/3208976.3209030.