Completeness of Resolution Revisited

Marc Bezem. Completeness of Resolution Revisited. Theoretical Computer Science, 74(2):227-237, 1990.

Abstract

Abstract is missing.