Irani and Shin. "A Many-Sorted Resolution Based on an Extension of a First-Order Language." International Joint Conference on Artificial Intelligence, 1985.
Markdown
[Irani and Shin. "A Many-Sorted Resolution Based on an Extension of a First-Order Language." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/irani1985ijcai-many/)
BibTeX
@inproceedings{irani1985ijcai-many,
title = {{A Many-Sorted Resolution Based on an Extension of a First-Order Language}},
author = {Irani, Keki B. and Shin, D. G.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {1175-1177},
url = {https://mlanthology.org/ijcai/1985/irani1985ijcai-many/}
}