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