E-Resolution: Extension of Resolution to Include the Equality Relation

James B. Morris. E-Resolution: Extension of Resolution to Include the Equality Relation. In IJCAI. pages 287-294, 1969.

Abstract

Abstract is missing.