Termination of narrowing revisited | Publicación