@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}, }