Minimization of symbolic automata
Languages, Automata, and Logic