Johanna Högberg Andreas Maletti Heiko Vogler Bisimulation Minimisation of Weighted Automata on Unranked Trees. 103-130 2009 92 Fundam. Inform. 1-2 http://dx.doi.org/10.3233/FI-2009-0068 db/journals/fuin/fuin92.html#HogbergMV09