A New Method for Establishing Refutational Completeness in Theorem Proving
Resource
Proceedings of the 8th Conference on Automated Deduction, p.141-152
Journal
8th Conference on Automated Deduction
Pages
141-152
Date Issued
1987-07
Date
1987-07
Author(s)
Publisher
Springer-Verlag
Type
conference paper