Termination of (Canonical) Context-Sensitive Rewriting | Publicación