Modular & incremental automated termination proofs. (2004)

by X Urbain
Venue:Journal of Automated Reasoning,