Collapsible pushdown automata and recursion schemes (ACM Transactions on Computational Logic, 2017)

(untitled) - Hague, M; Murawski, A; Ong, C; Serre, O