id: 70944783
dt: a
an: 70944783
au: Knapik, Teodor; Niwinski, Damian; Urzyczyn, Pawel
ti: Higher-order pushdown trees are easy
so: FoSSaCS, 205-222 (2002).
py: 2002
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/3-540-45931-6_15