@article{OhYi-SPE-2010,
author = "Hakjoo Oh and Kwangkeun Yi",
title = "An Algorithmic Mitigation of Large Spurious Interprocedural Cycles in Static Analysis",
journal = "Software - Practice and Experience",
volume = "40",
number = "8",
pages = "585--603",
year = "2010"
}