Backward and forward bisimulation minimisation of tree automata (2007)

by J Högberg, A Maletti, J May
Venue:In Proc. 12th Int. Conf. Implementation and Application of Automata