Salvador Lucas. Practical use of polynomials over the reals in proofs of termination. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 39-50, ACM, 2007. [doi]
Abstract is missing.