An English-Japanese machine translation system based on formal semantics of natural language 論文 Toyoaki Nishida・Shuji Doshita ·1982-01-01 ·1 pp. 277-282 doi:10.3115/991813.991857