Funder
Australian Research Council
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference38 articles.
1. Alagi, G., Weidenbach, C.: Non-redundant clause learning. In: FroCoS, pp. 69–84 (2015)
2. Beth, E.W.: Semantic entailment and formal derivability. In: Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde 18(13), 309–342 (1955)
3. Bachmair, L., Ganzinger, H.: Completion of first-order clauses with equality by strict superposition (Extended Abstract). In: 2nd International Workshop Conditional and Typed Rewriting Systems, LNCS 516, pp. 162–180. Springer, Berlin (1990)
4. Bachmair, L., Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. J. Log. Comput. 4(3), 217–247 (1994)
5. Baumgartner, P.: A first order Davis-Putnam-Longeman-Loveland procedure. In: Proceedings of the 17th International Conference on Automated Deduction (CADE), pp. 200–219 (2000)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献