Djamila Haroud Boi Faltings Global Consistency for Continuous Constraints. 40-50 1994 conf/ppcp/1994 PPCP db/conf/ppcp/ppcp94-lncs.html#HaroudF94