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

Chih-Hung Wu, Shie-Jue Lee

Browse the full ICPADS paper archive.