@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)",
}