Computer aided design system for logic equipment applied to design of electronic switching equipment. - Tatsuro Hirano; Kazuyuki Hirakawa (DAC, 1973)

A Parallel Logic Simulator Based on Concurrent Prolog. - Yasunori Noda; Tetsuo Kinoshita; Akira Okumura; Tatsuro Hirano; Tadashi Hiruta (LP, 1985)