Borchardt, Björn. 2004. “A Pumping Lemma and Decidability Problems for Recognizable Tree Series”. Acta Cybernetica 16 (4), 509-44. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3640.