A traversal−based algorithm for higher−order model checking
Robin P. Neatherway‚ Steven J. Ramsay and C.−H. Luke Ong
Book Title
ACM SIGPLAN International Conference on Functional Programming‚ ICFP'12‚ Copenhagen‚ Denmark‚ September 9−15‚ 2012
Pages
353–364
Year
2012