@article{Fecht98PropagatingB,
  author = {Christian Fecht and Helmut Seidl},
  title = {Propagating {D}ifferences: {A}n {E}fficient {N}ew {F}ixpoint {A}lgorithm for {D}istributive {C}onstraint {S}ystems},
  journal = {Nord. J. Comput.},
  year = 1998,
  pages = {304-329},
  volume = {5},
  number = {4},
}