An incremental algorithm for satisfying hierarchies of multi-way, dataflow constraints (1996)

by B Vander Zanden
Venue:ACM Trans. on Prog. Languages and Systems