A Pumping Lemma for Output Languages of Macro Tree Transducers.

Armin Kühnemann A Pumping Lemma for Output Languages of Macro Tree Transducers. 44-58 1996 conf/caap/1996 CAAP db/conf/caap/caap96.html#Kuhnemann96 http://dx.doi.org/10.1007/3-540-61064-2_28