Ryuzo Hasegawa Masayuki Fujita Parallel Theorem Provers and Their Applications. 132-154 1992 FGCS db/conf/fgcs/fgcs92.html#HasegawaF92