The Theorem Prover Using a Parallel Processing System.

Hitoshi Ogawa, Tadahiro Kitahashi, Kokichi Tanaka

Browse the full IJCAI paper archive.