Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference51 articles.
1. Astrachan, O. L., ?Investigations in model elimination based theorem proving?, Ph.D. dissertation, Department of Computer Science, Duke University, Durham, North Carolina (1992).
2. Astrachan, O. L. and Stickel, M. E., ?Caching and lemmaizing in model elimination theorem provers?,Proceedings of the 11th International Conference on Automated Deduction, Sarasota Springs, N.Y. (June 1992).
3. Technical Report;I. Balbin,1987
4. Bancilhon, F., Maier, D., Sagiv, Y. and Ullman, J., ?Magic sets and other strange ways to implement logic programs?,Proceedings of the Fifth ACM Symposium on Principles of Database Systems, pp. 53?56 (1986).
5. Brand, D., ?Proving theorems with the modification method?,SIAM J. Computing 4, 412?430 (1975).
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献