Higher-order pushdown trees are easy (0)

by T Knapik, D Niwiński, P Urzyczyn
Venue:In FOSSACS’02, Springer, 2002, LNCS