@inproceedings{DBLP:conf/popl/RamsayNO14,
  title = "A type-directed abstraction refinement approach to higher-order model checking",
  author = "Steven James Ramsay and Robin P. Neatherway and C.-H. Luke Ong",
  year = "2014",
  booktitle = "The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014",
  editor = "Suresh Jagannathan and Peter Sewell",
  isbn = "978-1-4503-2544-8",
  pages = "61-72",
  publisher = "ACM",
}
@inproceedings{nn,
  title = "Higher-Order Model Checking of Liveness Properties",
  author = "Robin Neatherway and C.-H. Luke Ong",
  year = "2013",
  booktitle = "In submission",
}
@inproceedings{neatherway-et-al-icfp2012,
  title = "A Traversal Based Algorithm for Higher-Order Model Checking",
  author = "Robin P. Neatherway and C.-H. Luke Ong and Steven J. Ramsay",
  year = "2012",
  booktitle = "Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP '12)",
}
@techreport{lester-et-al-2010,
  title = "Model Checking Liveness Properties of Higher-Order Functional Programs",
  author = "Martin M. Lester and Robin P. Neatherway and C.-H. Luke Ong and Steven J. Ramsay",
  year = "2010",
}