Reference58 articles.
1. P. B. Andrews. Theorem proving through general matings. Journal of the ACM, 28: 193–214, 1981.
2. L. Bachmair, H. Ganzinger and A. Voronkov. Elimination of equality via transformation with ordering constraints. Technical Report MPI–I–97–2–012, MPI für Informatik, Saarbrücken, 1997.
3. P. Baumgartner. A model elimination calculus with built-in theories. In H.-J. Ohlbach, editor, Proceedings, German Workshop on Artificial Intelligence (GWAI), LNCS 671, pages 30–42. Springer, 1992.
4. P. Baumgartner. Linear and unit-resulting refutations fer Horn theories. Journal of Automated Reasoning, 16 (3): 241–319, 1996.
5. P. Baumgartner. Theory Reasoning in Connection Calculi. LNCS. Springer, 1998. To appear.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献