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