@article{HagueOng2008,
  title = "Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems",
  author = "M. Hague and C.-H. L. Ong",
  year = "2008",
  journal = "Logical Methods in Computer Science",
  url = "http://www.lmcs-online.org/ojs/viewarticle.php?id=363&layout=abstract",
  volume = "4",
  doi = "10.2168/LMCS-4(4:14)2008",
}