Design of a parallel theorem prover for first order logic.

Wen-Tsuen Chen, Tzren-Ru Chou, Kuen-Rong Hsieh, Huai-Jen Liu

Browse the full COMPSAC paper archive.