Christophe Lecoutre Une Interprétation abstraite en programmation logique avec contraintes. 189-204 1994 conf/jfplc/1994 JFPLC db/conf/jfplc/jfplc1994.html#Lecoutre94