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)