Transformation of Natural Language Into Logical Formulas Leonard Bolc author Tomasz Strzalkowskl author 1982 text Coling 1982: Proceedings of the Ninth International Conference on Computational Linguistics conference publication bolc-strzalkowskl-1982-transformation https://aclanthology.org/C82-1005/ 1982