Hachtel, Rho, Somenzi, Jacoby, n.d.. Exact and heuristic algorithms for the minimization of incompletely specified state machines, in: . IEEE Comput. Soc. Press.. https://doi.org/10.1109/edac.1991.206387