Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre. Collapsible Pushdown Automata and Recursion Schemes. ACM Trans. Comput. Log., 18(3), 2017. [doi]
@article{HagueMOS17, title = {Collapsible Pushdown Automata and Recursion Schemes}, author = {Matthew Hague and Andrzej S. Murawski and C.-H. Luke Ong and Olivier Serre}, year = {2017}, doi = {10.1145/3091122}, url = {http://doi.acm.org/10.1145/3091122}, researchr = {https://researchr.org/publication/HagueMOS17}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {18}, number = {3}, }