Proving Termination in the Context-Sensitive Dependency Pair Framework | Publicación