Laurent Granvilliers Transformations symboliques et consistance de bloc de CSP continus. 195-210 1997 conf/jfplc/1997 JFPLC db/conf/jfplc/jfplc1997.html#Granvilliers97