Walther. "A Many-Sorted Calculus Based on Resolution and Paramodulation." International Joint Conference on Artificial Intelligence, 1983. doi:10.1016/c2013-0-11758-8
Markdown
[Walther. "A Many-Sorted Calculus Based on Resolution and Paramodulation." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/walther1983ijcai-many/) doi:10.1016/c2013-0-11758-8
BibTeX
@inproceedings{walther1983ijcai-many,
title = {{A Many-Sorted Calculus Based on Resolution and Paramodulation}},
author = {Walther, Christoph},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {882-891},
doi = {10.1016/c2013-0-11758-8},
url = {https://mlanthology.org/ijcai/1983/walther1983ijcai-many/}
}