Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. - Isabelle Jacques; Bruno Legeard; Laurent Py (JFPLC, 1998)

Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. - Fabrice Bouquet; Bruno Legeard; Fabien Peureux; Laurent Py (JFPLC, 2000)