Author:
Astrachan Owen L.,Stickel Mark E.
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. O.L. Astrachan. Investigations in Theorem Proving based on Model Elimination. PhD thesis, Duke University, 1992. (expected).
2. O.L. Astrachan and D.W. Loveland. METEORs: High performance theorem provers using model elimination. In R.S. Boyer, editor, Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic Publishers, 1991.
3. O.L Astrachan and M.E. Stickel. Caching and lemmaizing in model elimination the-orem provers. Technical Report 513, SRI International, Menlo Park, CA, December 1991.
4. F. Bancilhon and F. Ramakrishnan. Performance evaluation of data intensive logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, chapter 12, pages 439–517. Morgan Kaufmann, 1988.
5. C. Beeri and R. Ramakrishnan. On the power of magic. In Proceedings of the 6th Symposium on Principles of Database Systems, pages 269–283, 1987.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献