Frédéric Mesnard Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France Hermes 2-7462-0937-3 JFPLC 2004 db/conf/jfplc/jfplc2004.html