Automatizing termination proofs of recursively de functions (1994)

by P Manoury, M Simonot
Venue:Theoretical Computer Science