@inproceedings{Seidl92Finite,
  author = {Helmut Seidl},
  title = {Finite {T}ree {A}utomata with {C}ost {F}unctions},
  booktitle = {Trees in Algebra and Programming},
  editor = {Jean-Claude Raoult},
  month = {February},
  year = 1992,
  pages = {279-299},
  series = {Lecture Notes in Computer Science},
  volume = {581},
  publisher = {Springer},
  address = {Rennes, France},
}