On Logical Formulation of the Computation Process in Semantical Systems Jun-Tin Wang author 1973 text COLING 1973 Volume 1: Computational And Mathematical Linguistics: Proceedings of the International Conference on Computational Linguistics conference publication wang-1973-logical https://aclanthology.org/C73-1007/ 1973