Polynomials over the reals in proofs of termination : from theory to practice | Publicación