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

by C S Lee, N D Jones, A M
Venue:In: 28th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL