Prolog-Based Expert System for Logic Design. - Fumihiro Maruyama; Tamio Mano; Kazushi Hayashi; Taeko Kakuda; Nobuaki Kawato; Takao Uehara (FGCS, 1984)

Knowledge-Based Expert System for Hardware Logic Design. - Tamio Mano; Fumihiro Maruyama; Kazushi Hayashi; Taeko Kakuda; Nobuaki Kawato; Takao Uehara (FJCC, 1986)

co-LODEX: A Cooperative Expert System for Logic design. - Fumihiro Maruyama; Taeko Kakuda; Yusuke Matsunaga; Yoriko Minoda; Shuho Sawada; Nobuaki Kawato (FGCS, 1988)

On variable ordering of binary decision diagrams for the application of multi-level logic synthesis. - Masahiro Fujita; Yusuke Matsunaga; Taeko Kakuda (EURO-DAC, 1991)