Frohn, Florian Automation of Logic, MPI for Informatics, Max Planck Society;
Frohn, F., Hark, M., & Giesl, J. (2021). Termination of Polynomial Loops. In D., Pichardie, & M., Sighireanu (Eds.), Static Analysis (pp. 89-112). Berlin: Springer. doi:10.1007/978-3-030-65474-0_5.