Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing | Publicación