Ben-Amram (2001): The Size-Change Principle for Program Termination (0)

by Chin Soon Lee, Neil D Jones, M Amir
Venue:In: Proc. POPL, ACM