A Correction Concerning Resolution

Peter B. Andrews. A Correction Concerning Resolution. Journal of the ACM, 15(4):720, 1968. [doi]

Abstract

Abstract is missing.