@InProceedings{mayknight06:ciaa,
  author = 	 {Jonathan May and Kevin Knight},
  title = 	 {Tiburon: A Weighted Tree Automata Toolkit},
  booktitle =	 {Proceedings of the 11th International Conference of Implementation and Application of Automata, CIAA 2006},
  pages =	 {102--113},
  year =	 2006,
  editor =	 {Oscar H. Ibarra and Hsu-Chun Yen},
  volume =	 4094,
  series =	 {Lecture Notes in Computer Science},
  address =	 {Taipei, Taiwan},
  month =	 {August},
  publisher =	 {Springer}
}