Bisimulation minimisation for weighted tree automata (2007)

by J Högberg, A Maletti, J May
Venue:In: Proc. 11th Int. Conf. Developments in Language Theory. LNCS