@techreport{Seidl97Propagating,
  author = {Helmut Seidl and Christian Fecht},
  title = {Propagating {D}ifferences: {A}n {E}fficient {N}ew {F}ixpoint {A}lgorithm for {D}istributive {C}onstraint {S}ystems},
  year = 1997,
  series = {Forschungsbericht},
  volume = {97-13},
  publisher = {Universit\"at Trier, Mathematik/Informatik},
}