Practical use of polynomials over the reals in proofs of termination | Publicación