Tamio Mano Fumihiro Maruyama Kazushi Hayashi Taeko Kakuda Nobuaki Kawato Takeo Uehara Knowledge-Based Expert System for Hardware Logic Design. 979-986 1986 conf/fjcc/1986 FJCC db/conf/fjcc/fjcc86.html#ManoMHKKU86