Collapsible Pushdown Automata and Recursion Schemes. - HAGUE, MATTHEW; MURAWSKI, ANDRZEJ S.; ONG, C.-H. LUKE; SERRE, OLIVIER (ACM Transactions on Computational Logic, 2017)