Partial evaluation of functional logic programs | Publicación