Borchardt, B. 2004. A pumping lemma and decidability problems for recognizable tree series. Acta Cybernetica. 16, 4 (Jan. 2004), 509-544.