An incremental algorithm for satisfying hierarchies of multiway dataflow constraints (1996)

by B Vander Zanden
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS