Reducing Relative Termination to Dependency Pair Problems | Publicación