The size-change principle for program termination.

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram

Browse the full POPL paper archive.