@inproceedings{CSMR-2002-RaysideK,
	author        = "Derek Rayside and Kostas Kontogiannis",
	booktitle     = "{Proceedings of the Sixth European Conference on Software Maintenance and Reengineering}",
	ee            = "http://computer.org/proceedings/csmr/1438/14380067abs.htm",
	isbn          = "0-7695-1438-3",
	pages         = "67--76",
	publisher     = "{IEEE Computer Society}",
	title         = "{A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis}",
	year          = 2002,
}