Breslauer, D. The Suffix Tree of a Tree and Minimizing Sequential Transducers. BRICS 1995, 2.