Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura. On properties of Kleene TDDs. In Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, Nippon Convention Center, Chiba, Japan, January 28-31, 1997. pages 473-476, IEEE, 1997. [doi]
Abstract is missing.