Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. Andrews, P. B. "Resolution with merging", J.ACM, 15, 3 (July 1968), 367–381.
2. Robinson, J. A. "A machine-oriented logic based on the resolution principle," J.ACM, 12, 1 (Jan. 1965), 23–41.
3. Robinson, J. A. "Automatic deduction with hyper-resolution", Int. J. Computer Math. 1 (1965), 227–234.
4. Wos, L., G. A. Robinson and D. F. Carson. "Efficiency and completeness of the set of support strategy in theorem proving", J.ACM 12, 4 (Oct. 1965), 536–541.
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献