The Size-Change Principle for Program Termination (2001)
by
Chin Soon Lee
,
Neil D. Jones
,
Amir M. Ben-amram
| Citations: | 156 - 10 self |







