Borchardt Björn: A pumping lemma and decidability problems for recognizable tree series. In: Acta cybernetica, (16) 4. pp. 509-544. (2004)