F. Corblin, E. Fanchon, and L. Trilling 2005
In JFPC 05 (Journées Francophones de Programmation par Contraintes)