Your search returned the following 3 documents:

3. Ranking functions for size-change termination
   Chin Soon Lee
   ACM Transactions on Programming Languages and Systems 31 (3): 10:1-10:42, 2009
   
2. Size-change Termination Analyzer
   Chin Soon Lee
   . Note: A tool for program analysis available on the internet at \verb+http://www.mpi-sb.mpg.de/~soonlee/sct.html+
   
1. Program termination analysis in polynomial time
   Amir M. Ben-Amram and Chin Soon Lee
   ACM Transactions on Programming Languages and Systems 29 (1): 5:1-37, 2007