Parallelization of a Hyper-Linking–Based Theorem Prover Chih-Hung WuShie-Jue Lee OriginalPaper Pages: 67 - 106