@inproceedings{DBLP:conf/fossacs/BroadbentO09, title = "On Global Model Checking Trees Generated by Higher-Order Recursion Schemes", author = "Christopher H. Broadbent and C.-H. Luke Ong", year = "2009", booktitle = "FOSSACS", pages = "107-121", }