Parosh Aziz Abdulla Johann Deneux Lisa Kaati Marcus Nilsson Minimization of Non-deterministic Automata with Large Alphabets. 31-42 2005 conf/wia/2005 CIAA http://dx.doi.org/10.1007/11605157_3 db/conf/wia/ciaa2005.html#AbdullaDKN05