Fumihiro Maruyama Tamio Mano Kazushi Hayashi Taeko Kakuda Nobuaki Kawato Takao Uehara Prolog-Based Expert System for Logic Design. 563-571 1984 FGCS db/conf/fgcs/fgcs84.html#MaruyamaMHKKU84