Fumihiro Maruyama Taeko Kakuda Yusuke Matsunaga Yoriko Minoda Shuho Sawada Nobuaki Kawato co-LODEX: A Cooperative Expert System for Logic design. 1299-1306 1988 FGCS db/conf/fgcs/fgcs88.html#MaruyamaKMMSK88