Short Overview of the CLPS System. - Bruno Legeard; Emmanuel Legros (PLILP, 1991)

Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. - Bruno Legeard; Emmanuel Legros (JFPL, 1992)