@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},
   category = {program-analysis-tools},
   format = {pdf},
}