Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules | Publicación