TY  - RPRT
TI  - Using Inverse lambda and Generalization to Translate English to Formal Languages
AU  - Chitta Baral
AU  - Juraj Dzifcak
AU  - Marcos Alvarez Gonzalez
AU  - Jiayu Zhou
PY  - 2011
UR  - https://arxiv.org/abs/1108.3843
ID  - 1108.3843
ER  -