Hugh Anderson, Siau-Cheng Khoo. Regular approximation and bounded domains for size-change termination. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. pages 53-62, ACM, 2010. [doi]
Abstract is missing.