Gilles Chabert Nicolas Beldiceanu Sweeping with Continuous Domains. 137-151 2010 CP https://doi.org/10.1007/978-3-642-15396-9_14 conf/cp/2010 db/conf/cp/cp2010.html#ChabertB10