A Framework Environment for Logic Design Support System. - Kaname Kuroki; Nobuyoshi Nomizu; Shigenobu Suzuki; Kazutoshi Takahashi (ICCAD, 1990)