CLAIRE: Combining sets, search and rules to better express algorithms. - Yves Caseau; François-Xavier Josset; François Laburthe (Theory Pract. Log. Program., 2002)

Claire/Eclair : Un environnement de modélisation et de résolution pour des applications d'optimisation combinatoires embarquées. - Nicolas Museux; Laurent Jeannin; Pierre Savéant; Fabien Le Huédé; François-Xavier Josset; Juliette Mattioli (JFPLC, 2003)

Claire/Eclair(copyright) Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées. - Laurent Jeannin; François-Xavier Josset; Fabien Le Huédé; Juliette Mattioli; Nicolas Museux; Pierre Savéant (Tech. Sci. Informatiques, 2003)