ML Anthology

Morris, James B.

1 publications

IJCAI 1969 E-Resolution: Extension of Resolution to Include the Equality Relation James B. Morris