Boi Faltings Djamila Haroud Ian F. C. Smith Dynamic Constraint Propagation with Continuous Variables. 754-758 1992 ECAI db/conf/ecai/ecai92.html#FaltingsHS92