Machine Translation Using Isomorphic UCGs John L Beaven author Pete Whitelock author 1988 text Coling Budapest 1988 Volume 1: International Conference on Computational Linguistics conference publication beaven-whitelock-1988-machine https://aclanthology.org/C88-1007/ 1988