Parallelization of a Hyper-Linking-Based Theorem Prover.

Mon, 01 Jan 2001 00:00:00 +0100

Chih-Hung Wu, Shie-Jue Lee:
Parallelization of a Hyper-Linking-Based Theorem Prover. J. Autom. Reason. 26(1): 67-106 (2001)