Une sémantique co-inductive pour la propagation de contraintes et de labeling. - Julien Arsouze; Gérard Ferrand; Arnaud Lallouet (JFPLC, 2000)

Arbre d'itérations chaotiques pour décrire la résolution des CSP. - Julien Arsouze; Gérard Ferrand; Arnaud Lallouet (JFPLC, 2002)