1. 1) Avery, J.: Size-Change Termination and Bound Analysis, Proc. FLOPS 2006, LNCS 3945, Hagiya, M. and Wadler, P. (Eds.), Fuji Susono, pp.192-207, Springer (2006).
2. Termination of Polynomial Programs
3. 3) Codish, M, Lagoon, V, Schachte, P. and Stuckey, P.: Size-Change Termination Analysis in k-Bits, Proc. ESOP 2006, LNCS 3924, Sestoft, P. (Ed.), Vienna, Austria, pp.230-245, Springer (2006).
4. Practical Methods for Proving Program Termination
5. 5) Cousot, P. and Halbwachs, N.: Automatic Discovery of Linear Restraints Among Variables of a Program, Proc. POPL 1978, Tucson, Arizona, pp.84-97, ACM (1978).