On narrowing, refutation proofs and constraints | Publicación