Toshiyuki Miyamoto, Sadatoshi Kumagai. An efficient algorithm for deriving logic functions of asynchronous circuits. In 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima, JAPAN. pages 30-35, IEEE Computer Society, 1996. [doi]
Abstract is missing.