Subject
Computational Mathematics,Algebra and Number Theory
Reference36 articles.
1. The use of lemmas in the model elimination procedure;Astrachan;J. Autom. Reasoning,1997
2. Caching and lemmaizing in model elimination theorem provers;Astrachan,1992
3. Rewrite-based equational theorem proving with selection and simplification;Bachmair;J. Logic Comput.,1994
4. A disjunctive positive refinement of model elimination and its application to subsumption deletion;Baumgartner;J. Autom. Reasoning,1997
5. K. Bläsius, J. Siekmann, Proceedings of CADE-9, 1988, Springer, 397, 414
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献