Incremental analysis of constraint logic programs | Publicación