La programmation loique par contraintes pour l'aide à l'enseignant. - Denis Bouhineau; Stéphane Channac (Intelligent Tutoring Systems, 1996)

Un système coopératif pour la résolution de contraintes géométriques. - Stéphane Channac (JFPLC, 1998)

Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique. (Design and implementation of a declarative dynamic geometry system). - Stéphane Channac (1999)