Generalized ternary simulation of sequential circuits C.-J. Seger and J. A. Brzozowski RAIRO-Theor. Inf. Appl., 28 3-4 (1994) 159-186 Published online: 03 February 2017 DOI: 10.1051/ita/1994283-401591