Modular termination of context-sensitive rewriting | Publicación