A general scheme for constraint functional logic programming | Publicación