Reversible computation in term rewriting - Nishida, Naoki; Palacios, Adrián; Vidal, Germán (Journal of logical and algebraic methods in programming, 2018)