On the completeness of narrowing as the operational semantics of functional logic programming | Publicación