Broadbent, et al.. Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties. 2 Mar. 2021.