Kühnemann, Armin, and Heiko Vogler. 1994. “A Pumping Lemma for Output Languages of Attributed Tree Transducers”. Acta Cybernetica 11 (4), 261-305. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3434.