@article{Seidl94Finite, author = {Helmut Seidl}, title = {Finite {T}ree {A}utomata with {C}ost {F}unctions}, journal = {Theor. Comput. Sci.}, year = 1994, pages = {113-142}, volume = {126}, number = {1}, }