Parosh Aziz Abdulla and Lisa Kaati and Marcus Nilsson (2005). Minimization of Non-Deterministic Automata with Large Alphabets. In: Proc. CIAA'05-10th International Conference on Implementation and Application of Automata, .
[Abdulla et al., 2006]
Parosh Aziz Abdulla and Lisa Kaati and Johanna Högberg (2006). Bisimulation Minimization of Tree automata. In: Proc. CIAA'06-11th International Conference on Implementation and Application of Automata, .