An English-Japanese Machine Translation System Based on Formal Semantics of Natural Language Toyo-aki Nishida author Shuji Doshita author 1982 text Coling 1982: Proceedings of the Ninth International Conference on Computational Linguistics conference publication nishida-doshita-1982-english https://aclanthology.org/C82-1044/ 1982