Proving Termination of Context-Sensitive Rewriting with MU-TERM | Publicación