Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet. Un format fédérateur pour l évaluation de spécifications formelles en programmation logique avec contraintes. In Mireille Ducassé, editor, Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. pages 203-216, Hermes/Lavoisier, 2003.
Abstract is missing.