@InProceedings{hogbergmalettimay07:dlt,
  author = 	 {Johanna H\"{o}gberg and Andreas Maletti and Jonathan May},
  title = 	 {Bisimulation Minimisation for Weighted Tree Automata},
  booktitle =	 {Proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007},
  pages =	 {229--240},
  year =	 2007,
  editor =	 {Tero Harju and Juhani Karhum\"{a}ki and Arto Lepist\"{o}},
  volume =	 4588,
  series =	 {Lecture Notes in Computer Science},
  address =	 {Turku, Finland},
  month =	 {July 3--6},
  publisher =	 {Springer-Verlag}
}