On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting | Publicación