Confluence of Shallow Right-Linear Rewrite Systems | Publicación