@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},
}