Translating Spanish Into Logic Through Logic Veronica Dahl author 1981 text journal article American Journal of Computational Linguistics continuing periodical academic journal dahl-1981-translating https://aclanthology.org/J81-3002/ 1981 7 3 149 164