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