@inproceedings{Seidl89Deciding,
  author = {Helmut Seidl},
  title = {Deciding {E}quivalence of {F}inite {T}ree {A}utomata},
  booktitle = {Theoretical Aspects of Computer Science},
  editor = {Burkhard Monien and Robert Cori},
  month = {February},
  year = 1989,
  pages = {480-492},
  series = {Lecture Notes in Computer Science},
  volume = {349},
  publisher = {Springer},
  address = {Paderborn, Germany},
}