The following publications are possibly variants of this publication:
- Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPSBruno Legeard, Emmanuel Legros. jfplc 1992: 18-34
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement finiM. Hibti, Bruno Legeard, Henri Lombardi. ita, 31(3):205-236, 1997.
- Un système de résolution de contraintes ensemblistes pour l évaluation de spécifications BFabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py. jfplc 2000: 125-144
- Intégration de domaines à variables dans un solveur de contraintes ensemblistesFabrice Ambert, Sébastien Chemin, Bruno Legeard. jfplc 2003: 217-220
- Intégration de domaines à variables dans un solveur de contraintes ensemblistesFabrice Ambert, Sébastien Chemin, Bruno Legeard. tsi, 22(1):217-220, 2003. [doi]