Slagle et al. "Completeness Theorems for Semantic Resolution in Consequence-Finding." International Joint Conference on Artificial Intelligence, 1969.
Markdown
[Slagle et al. "Completeness Theorems for Semantic Resolution in Consequence-Finding." International Joint Conference on Artificial Intelligence, 1969.](https://mlanthology.org/ijcai/1969/slagle1969ijcai-completeness/)
BibTeX
@inproceedings{slagle1969ijcai-completeness,
title = {{Completeness Theorems for Semantic Resolution in Consequence-Finding}},
author = {Slagle, James R. and Chang, Chin-Liang and Lee, Richard C. T.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1969},
pages = {281-286},
url = {https://mlanthology.org/ijcai/1969/slagle1969ijcai-completeness/}
}