Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lect Notes Comput Sci;S. Anantharaman,1990
2. S. Anantharaman and J. Hsiang. Automated proofs of the Moufang identities in alternative rings. J. of Automated Reasoning, 6(1):76–109, 1990.
3. L. Bachmair and H. Ganzinger. Non-clausal resolution and superposition with selection and redundancy criteria. In A. Voronkov, editor, LPAR-92, volume 624 of LNAI, pages 273–284. Springer Verlag, 1992.
4. L. Bachmair and H. Ganzinger. A theory of resolution. Technical Report MPI-I-97-2-005, Max Planck Institut für Informatik, 1997.
5. 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.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel Theorem Proving;Handbook of Parallel Constraint Reasoning;2018
2. A Taxonomy of Theorem-Proving Strategies;Artificial Intelligence Today;1999
3. Analysis of Distributed-Search Contraction-Based Strategies;Logics in Artificial Intelligence;1998