Robert F. Simmons, Bertram C. Bruce. Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse. In IJCAI. pages 524-530, 1971.
@inproceedings{SimmonsB71, title = {Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse}, author = {Robert F. Simmons and Bertram C. Bruce}, year = {1971}, tags = {C++}, researchr = {https://researchr.org/publication/SimmonsB71}, cites = {0}, citedby = {0}, pages = {524-530}, booktitle = {IJCAI}, }