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