Methods for Proving Termination of Rewriting-based Programming Languages by Transformation | Publicación