Modular termination of basic narrowing and equational unification | Publicación