Termination of nested and mutually recursive algorithms (1997)

by Jürgen Giesl
Venue:Journal of Automated Reasoning