pdf bibOn Logical Formulation of the Computation Process in Semantical SystemsJun-Tin WangCOLING 1973 Volume 1: Computational And Mathematical Linguistics: Proceedings of the International Conference on Computational Linguistics