Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. D. Benanav. Recognizing Unnecessary Inference. PhD thesis, Rensselaer Polytechnic Institute, 1989.
2. D. S. Lankford. Some approaches to equality for computational logic: A survey and assessment. Memo ATP-36, Automatic Theorem Proving Project, University of Texas, Austin, 1977.
3. Technical Report;W. McCune,1989
4. G. Peterson. A technique for establishing completeness results in theorem proving with equality. SIAM J. Computing, 12(1):82–99, February 1983.
5. G. Peterson and M. Stickel. Complete sets of reductions for some equational theories. Journal of the Association for Computing Machinery, 28(2):231–264, April 1981.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献