Fabrice Bouquet Bruno Legeard Fabien Peureux Laurent Py Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. 125-144 2000 conf/jfplc/2000 JFPLC db/conf/jfplc/jfplc2000.html#BouquetLPP00