Masayuki Fujita Ryuzo Hasegawa Miyuki Koshimura Hiroshi Fujita Model Generation Theorem Provers on a Parallel Inference Machine. 357-375 1992 FGCS db/conf/fgcs/fgcs92.html#FujitaHKF92