Termination of canonical context-sensitive rewriting and productivity of rewrite systems | Publicación