ML Anthology

A New Hyperparamodulation Strategy for the Equality Relation

Younghwan Lim, Lawrence J. Henschen
IJCAI 1985 pp. 1138-1145
/ijcai/1985/lim1985ijcai-new/
PDF IJCAI Semantic Scholar

Cite

Text

Lim and Henschen. "A New Hyperparamodulation Strategy for the Equality Relation." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Lim and Henschen. "A New Hyperparamodulation Strategy for the Equality Relation." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/lim1985ijcai-new/)

BibTeX

@inproceedings{lim1985ijcai-new,
  title     = {{A New Hyperparamodulation Strategy for the Equality Relation}},
  author    = {Lim, Younghwan and Henschen, Lawrence J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {1138-1145},
  url       = {https://mlanthology.org/ijcai/1985/lim1985ijcai-new/}
}