Refining weakly outermost-needed rewriting and narrowing | Publicación