@inproceedings{DBLP:conf/lics/BroadbentCOS10,
  title = "Recursion Schemes and Logical Reflection",
  author = "Christopher H. Broadbent and Arnaud Carayol and C.-H. Luke Ong and Olivier Serre",
  year = "2010",
  booktitle = "LICS",
  pages = "120-129",
}