Global analysis of constraint logic programs | Publicación