Author:
Degtyarev Anatoli,Voronkov Andrei
Publisher
Springer Berlin Heidelberg
Reference61 articles.
1. P.B. Andrews. Theorem proving via general matings. Journal of the Association for Computing Machinery, 28(2):193–214, 1981.
2. A. Avron. Gentzen-type systems, resolution and tableaux. Journal of Automated Reasoning, 10:256–281, 1993.
3. L. Bachmair, H. Ganzinger, C. Lynch, and W. Snyder. Basic paramodulation and superposition. In D. Kapur, editor, 11th International Conference on Automated Deduction, volume 607 of Lecture Notes in Artificial Intelligence, pages 462–476, Saratoga Springs, NY, USA, June 1992. Springer Verlag.
4. L. Bachmair, H. Ganzinger, C. Lynch, and W. Snyder. Basis paramodulation. Information and Computation, 121:172–192, 1995.
5. Peter Baumgartner. An ordered theory resolution calculus. In A. Voronkov, editor, Logic Programming and Automated Reasoning (LPAR'92), volume 624 of Lecture Notes in Computer Science, pages 119–130, 1992.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献