Christian Fecht Helmut Seidl Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. 304-329 1998 5 Nord. J. Comput. 4 db/journals/njc/njc5.html#FechtS98