Frohn, Florian Automation of Logic, MPI for Informatics, Max Planck Society;
https://easychair.org/publications/paper/Bl5n (Publisher version)
Hark, M., Frohn, F., & Giesl, J. (2020). Polynomial Loops: Beyond Termination. In E. Albert, & L. Kovács (Eds.), LPAR-23 (pp. 279-297). Manchester, UK: EasyChair. doi:10.29007/nxv1.