@inproceedings{PLDI-1998-FahndrichFSA,
	author        = "Manuel Fähndrich and Jeffrey S. Foster and Zhendong Su and Alexander Aiken",
	booktitle     = "{Proceedings of the 19th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/277650.277667",
	editor        = "Jack W. Davidson and Keith D. Cooper and A. Michael Berman",
	isbn          = "0-89791-987-4",
	pages         = "85--96",
	publisher     = "{ACM}",
	title         = "{Partial Online Cycle Elimination in Inclusion Constraint Graphs}",
	year          = 1998,
}