Programmation par contraintes. - Lavoisier, 2014. - ( RSTI série RIA - Revue d'Intelligence Artificielle ; 28).