@article{OhYi10,
  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"
}