@InProceedings{hogbergmalettimay07:ciaa,
  author = 	 {Johanna H\"{o}gberg and Andreas Maletti and Jonathan May},
  title = 	 {Backward and Forward Bisimulation Minimisation of Weighted Tree Automata},
  booktitle =	 {Proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007},
  pages =	 {109--121},
  year =	 2007,
  editor =	 {Jan Holub and Jan \v{Z}d\'{a}rek},
  volume =	 4783,
  series =	 {Lecture Notes in Computer Science},
  address =	 {Prague, Czech Republic},
  month =	 {July 16--18},
  publisher =	 {Springer-Verlag}
}