Termination of context-sensitive rewriting by rewriting | Publicación