Christoph Walther. Many-Sorted Inferences in Automated Theorem Proving. In Sorts and Types in Artificial Intelligence. pages 18-48, 1989.
@inproceedings{Walther89, title = {Many-Sorted Inferences in Automated Theorem Proving}, author = {Christoph Walther}, year = {1989}, researchr = {https://researchr.org/publication/Walther89}, cites = {0}, citedby = {0}, pages = {18-48}, booktitle = {Sorts and Types in Artificial Intelligence}, }