@Article{         EarlSergeyJohnsonMightHorn,
  Author        = "Earl, Christopher and Sergey, Ilya and Johnson, J. Ian and Might, Matthew and Horn, David Van",
  date-added    = "2013-07-22 08:42:10 +0000",
  date-modified = "2013-07-22 08:55:09 +0000",
  Journal       = "Journal of Functional Programming",
  Keywords      = "control-flow analysis and pushdown systems and pushdown automata",
  Title         = "Introspective pushdown analysis",
  Year          = "2013",
  File          = "Introspective pushdown analysis - Earl, Sergey, Johnson, Might, Horn (0) (0) - a - a - r.pdf"
}

@Article{ EarlSergeyJohnsonMightHorn, Author = "Earl, Christopher and Sergey, Ilya and Johnson, J. Ian and Might, Matthew and Horn, David Van", date-added = "2013-07-22 08:42:10 +0000", date-modified = "2013-07-22 08:55:09 +0000", Journal = "Journal of Functional Programming", Keywords = "control-flow analysis and pushdown systems and pushdown automata", Title = "Introspective pushdown analysis", Year = "2013", File = "Introspective pushdown analysis - Earl, Sergey, Johnson, Might, Horn (0) (0) - a - a - r.pdf" }