Polynomials over the reals in proofs of termination : from theory to practice Salvador Lucas RAIRO-Theor. Inf. Appl., 39 3 (2005) 547-586 Published online: 15 July 2005 DOI: 10.1051/ita:2005029
