Collapsible pushdown automata and recursion schemes - Hague, M; Murawski, A; Ong, C; Serre, O (ACM Transactions on Computational Logic, 2017)