Parallelization of a Hyper-Linking-Based Theorem Prover.

Chih-Hung Wu Shie-Jue Lee Parallelization of a Hyper-Linking-Based Theorem Prover. 67-106 2001 26 J. Autom. Reasoning 1 db/journals/jar/jar26.html#WuL01