Applications and extensions of context-sensitive rewriting | Publicación