Partial Evaluation of the Euclidean Algorithm, Revisited. - Chin Soon Lee (High. Order Symb. Comput., 1999)

The size-change principle for program termination. - Chin Soon Lee; Neil D. Jones; Amir M. Ben-Amram (POPL, 2001)

Program Termination Analysis in Polynomial Time. - Chin Soon Lee (GPCE, 2002)

Finiteness Analysis in Polynomial Time. - Chin Soon Lee (SAS, 2002)

Program termination analysis in polynomial time. - Amir M. Ben-Amram; Chin Soon Lee (ACM Trans. Program. Lang. Syst., 2007)

Ranking Functions for Size-Change Termination II - Amir M. Ben-Amram; Chin Soon Lee (Log. Methods Comput. Sci., 2009)

Ranking functions for size-change termination. - Chin Soon Lee (ACM Trans. Program. Lang. Syst., 2009)