@inproceedings{Fecht98PropagatingA,
  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},
  booktitle = {Programming Languages and Systems},
  editor = {Chris Hankin},
  month = {April},
  year = 1998,
  pages = {90-104},
  series = {Lecture Notes in Computer Science},
  volume = {1381},
  publisher = {Springer},
  address = {Lisbon, Portugal},
}