@inproceedings{ijcai1969p28,
  title     = {E-Resolution: Extension of Resolution to Include the Equality Relation},
  author    = {Morris, James B.},
  booktitle = {Proceedings of the First International Joint Conference on
               Artificial Intelligence, {IJCAI-69}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Donald E. Walker and David C. Cooper},
  pages     = {287--294},
  year      = {1969},
  month     = {5},
  note      = {Theorem Proving},
  url       = {https://ijcai.org/proceedings/1969/28},
}