Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems | Publicación