A pumping lemma for output languages of macro tree transducers (1997)

by A Kühnemann
Venue:Proc. CAAP’96, volume 1059 of LNCS