Termination of Narrowing Using Dependency Pairs | Publicación