Conversion to tail recursion in term rewriting | Publicación