Sam-Haroud, D.Faltings, B.2006-12-132006-12-132006-12-13199610.1007/BF00143879https://infoscience.epfl.ch/handle/20.500.14299/238151Consistency Techniques for Continuous Constraintstext::journal::journal article::research article