@article{journals/toplas/Zanden96,
title = {An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints.},
author = {Brad T. Vander Zanden},
journal = {ACM Trans. Program. Lang. Syst.},
number = {1},
pages = {30-72},
url = {http://dblp.uni-trier.de/db/journals/toplas/toplas18.html#Zanden96},
volume = {18},
year = {1996},
description = {dblp},
ee = {http://doi.acm.org/10.1145/225540.225543}, date = {2006-04-03},
keywords = {dblp }
}
::