Collapsible Pushdown Automata and Recursion Schemes | IEEE Conference Publication | IEEE Xplore