Selective unification in constraint logic programming | Publicación