Termination of nested and mutually recursive algorithms (1997)

by J Giesl
Venue:Journal of Automated Reasoning