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