Chih-Hung Wu, Shie-Jue Lee. On parallelism of hyper-linking theorem proving: a preliminary report. In 1996 International Conference on Parallel and Distributed Systems (ICPADS 96), June 3-6, 1996, Tokyo, Japan, Proceedings. pages 494-499, IEEE Computer Society, 1996. [doi]
Abstract is missing.