Minimization of unary symmetric difference NFAs. - Lynette van Zijl; Graham Muller; Jan Daciuk (South Afr. Comput. J., 2005)