Kühnemann, A. and Vogler, H. 1994. A pumping lemma for output languages of attributed tree transducers. Acta Cybernetica. 11, 4 (Jan. 1994), 261-305.