Laurent Granvilliers Eric Monfroy Modélisation déclarative de stratégies de propagation de contraintes. 109-124 2000 conf/jfplc/2000 JFPLC db/conf/jfplc/jfplc2000.html#GranvilliersM00