Touraïvane Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France Hermes 2-7462-0147-X JFPLC 2000 db/conf/jfplc/jfplc2000.html