On parallelism of hyper-linking theorem proving: a preliminary report.

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

Chih-Hung Wu, Shie-Jue Lee:
On parallelism of hyper-linking theorem proving: a preliminary report. ICPADS 1996: 494-499