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