Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection.

Arnaud Carayol, Olivier Serre

Browse the full LICS paper archive.