Generalized ternary simulation of sequential circuits C.-J. Seger; J. A. Brzozowski — 1994 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications