Frohn, Florian Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1905.11187.pdf (Preprint), 537KB
Frohn, F., & Giesl, J. (2019). Proving Non-Termination via Loop Acceleration. Retrieved from https://arxiv.org/abs/1905.11187.