Polynomials over the reals in proofs of termination : from theory to practiceSalvador LucasRAIRO-Theor. Inf. Appl., 39 3 (2005) 547-586DOI: https://doi.org/10.1051/ita:2005029
