Skip to content

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

James B. Morris

VenueA*IJCAI
Year1969
ProceedingsIJCAI

Browse the full IJCAI paper archive.