pdf bibTransformation of Natural Language Into Logical FormulasLeonard Bolc | Tomasz StrzalkowsklColing 1982: Proceedings of the Ninth International Conference on Computational Linguistics