A rule based logic reorganization system LORES/EX. - J. Ishikawa; H. Sato; M. Hiramine; Kasumi Ishida; S. Oguri; Y. Kazuma; S. Murai (ICCD, 1988)