Bruno De Backer Henri Beringer A CLP Language Handling Disjunctions of Linear Constraints. 550-563 1993 ICLP db/conf/iclp/iclp93.html#BackerB93