On narrowing strategies for partial non-strict functions | Publicación