@inproceedings{wang-1973-logical, title = "On Logical Formulation of the Computation Process in Semantical Systems", author = "Wang, Jun-Tin", booktitle = "{COLING} 1973 Volume 1: Computational And Mathematical Linguistics: Proceedings of the International Conference on Computational Linguistics", year = "1973", url = "https://preview.aclanthology.org/landing_page/C73-1007/" }