Termination of just/fair computations in term rewriting | Publicación