Reversible computation in term rewriting | Publicación