The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution

• Authors:

• Shan-Hwei Nienhuys-Cheng;Ronald de Wolf

• Affiliations:

• -;-

• Venue:
• ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
• Year:
• 1995