Programmation en logique avec contraintes
France) Journées francophones de programmation logique et programmation par contraintes (9e 2000 Marseille
