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