Translating ordinary language into symbolic logic Jared L Darlington author 1963-25-26 aug text Proceedings of the Annual meeting of the Association for Machine Translation and Computational Linguistics Denver, Colorado conference publication darlington-1963-translating https://aclanthology.org/1963.earlymt-1.6/ 1963-25-26 aug