Modular Termination of Basic Narrowing | Publicación