A Traversal Based Algorithm for Higher−Order Model Checking (Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP '12), 2012)

(untitled) - Neatherway, R; Ong, C; Ramsay, S