Constraints In Computational Logics. Theory And Applications by Hubert et al Comon