Author:
Ganzinger Harald,Stuber Jürgen
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference19 articles.
1. Gentzen-type systems, resolution and tableaux;Avron;Journal of Automated Reasoning,1993
2. L. Bachmair, H. Ganzinger, Associative-commutative superposition, in: Proceedings of the 4th International Workshop on Conditional and Typed Rewriting, Springer, Jerusalem, 1994, pp. 1–14
3. Non-clausal resolution and superposition with selection and redundancy criteria;Bachmair,1992
4. Resolution theorem proving;Bachmair,2001
5. Basic paramodulation;Bachmair;Information and Computation,1995
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献