Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken. Partial Online Cycle Elimination in Inclusion Constraint Graphs. In PLDI. pages 85-96, 1998.
@inproceedings{FahndrichFSA98,
title = {Partial Online Cycle Elimination in Inclusion Constraint Graphs},
author = {Manuel Fähndrich and Jeffrey S. Foster and Zhendong Su and Alexander Aiken},
year = {1998},
tags = {constraints, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/FahndrichFSA98},
cites = {0},
citedby = {0},
pages = {85-96},
booktitle = {PLDI},
}