Lee, Chin Soon Programming Logics, MPI for Informatics, Max Planck Society;
Ben-Amram, A. M., & Lee, C. S. (2007). Program termination analysis in polynomial time. ACM Transactions on Programming Languages and Systems, 29(1), 5.1-5.37. doi:10.1145/1180475.1180480.