Termination of Nested and Mutually Recursive Algorithms.

Jürgen Giesl Termination of Nested and Mutually Recursive Algorithms. 1-29 1997 19 J. Autom. Reasoning 1 db/journals/jar/jar19.html#Giesl97