Gilles Trombettoni Gilles Chabert Constructive Interval Disjunction. 635-650 2007 conf/cp/2007 CP http://dx.doi.org/10.1007/978-3-540-74970-7_45 db/conf/cp/cp2007.html#TrombettoniC07