pdf bibUsing Inverse lambda and Generalization to Translate English to Formal LanguagesChitta Baral | Juraj Dzifcak | Marcos Alvarez Gonzalez | Jiayu ZhouProceedings of the Ninth International Conference on Computational Semantics (IWCS 2011)