@misc{indiciaefb534fc83258,
  title = {Introspective Pushdown Analysis of Higher-Order Programs},
  author = {Christopher Earl and Ilya Sergey and Matthew Might and David Van Horn},
  year = {2012},
  url = {https://arxiv.org/abs/1207.1813},
  note = {Source identifier: 1207.1813}
}