Christian Fecht Helmut Seidl Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. 90-104 http://dx.doi.org/10.1007/BFb0053565 1998 conf/esop/1998 ESOP db/conf/esop/esop98.html#FechtS98