Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs | Publicación