Completeness of context-sensitive rewriting | Publicación