@misc{indiciaee502e3d9dc13,
  title = {Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties},
  author = {Christopher H. Broadbent and Arnaud Carayol and C. -H. Luke Ong and Olivier Serre},
  year = {2021},
  url = {https://arxiv.org/abs/2010.06366},
  note = {Source identifier: 2010.06366}
}