Giesl, Thiemann, Schneider-Kamp, Falke, 2004. Automated Termination Proofs with AProVE, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-25979-4_15