Generalized ternary simulation of sequential circuitsC.-J. Seger and J. A. BrzozowskiRAIRO-Theor. Inf. Appl., 28 3-4 (1994) 159-186DOI: https://doi.org/10.1051/ita/1994283-401591
