James B. Morris. E-Resolution: Extension of Resolution to Include the Equality Relation. In IJCAI. pages 287-294, 1969.
@inproceedings{Morris69:1, title = {E-Resolution: Extension of Resolution to Include the Equality Relation}, author = {James B. Morris}, year = {1969}, tags = {e-science}, researchr = {https://researchr.org/publication/Morris69%3A1}, cites = {0}, citedby = {0}, pages = {287-294}, booktitle = {IJCAI}, }