A comparison between two logical formalisms for rewriting | Publicación