Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. L. Bachmair, H. Ganzinger, C. Lynch, and W. Snyder. Basic paramodulation and superposition. In D. Kapur, editor, Proc. CADE-11, volume 607 of LNAI, pages 462–476. Springer, 1992.
2. M. P. Bonacina. On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method. J. of Symbolic Computation, 21:507–522, 1996.
3. M. P. Bonacina and J. Hsiang. The Clause-Diffusion methodology for distributed deduction. Fundamenta Informaticae, 24:177–207, 1995.
4. M. P. Bonacina and J. Hsiang. On the representation of dynamic search spaces in theorem proving. In C.-S. Yang, editor, Proc. Int. Computer Symp., Dec. 1996.
5. M. P. Bonacina and W. McCune. Distributed theorem proving by Peers. In A. Bundy, editor, Proc. CADE-12, volume 814 of LNAI, pages 841–845. Springer, 1994.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献