Termination of nested and mutually recursive algorithms (1997)

by Jurgen Giesl
Venue:Journal of Automated Reasoning