Proving termination of context-sensitive rewriting by transformation | Publicación