@inproceedings{DBLP:conf/fossacs/KieferMW15,
  title = "Minimisation of Multiplicity Tree Automata",
  author = "Stefan Kiefer and Ines Maru\v{s}i\'{c} and James Worrell",
  year = "2015",
  booktitle = "Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures {(FoSSaCS)}",
  pages = "297--311",
  url = "http://dx.doi.org/10.1007/978-3-662-46678-0_19",
  doi = "10.1007/978-3-662-46678-0_19",
}