Bruno Legeard Emmanuel Legros Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. 18-34 1992 conf/jfplc/1992 JFPL db/conf/jfplc/jfpl1992.html#LegeardL92