Frohn, Florian Automation of Logic, MPI for Informatics, Max Planck Society;
Frohn, F., Naaf, M., Brockschmidt, M., & Giesl, J. (2020). Inferring Lower Runtime Bounds for Integer Programs. ACM Transactions on Programming Languages and Systems, 42: 13. doi:10.1145/3410331.