Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng. Termination of Loop Programs with Polynomial Guards. In David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan, editors, Computational Science and Its Applications - ICCSA 2010, International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV. Volume 6019 of Lecture Notes in Computer Science, pages 482-496, Springer, 2010. [doi]
Abstract is missing.