@article{Seidl90Deciding, author = {Helmut Seidl}, title = {Deciding {E}quivalence of {F}inite {T}ree {A}utomata}, journal = {SIAM J. Comput.}, year = 1990, pages = {424-437}, volume = {19}, number = {3}, }