@inproceedings{bolc-strzalkowskl-1982-transformation,
    title = "Transformation of Natural Language Into Logical Formulas",
    author = "Bolc, Leonard  and
      Strzalkowskl, Tomasz",
    booktitle = "{C}oling 1982: Proceedings of the {N}inth {I}nternational {C}onference on {C}omputational {L}inguistics",
    year = "1982",
    url = "https://preview.aclanthology.org/ingest-emnlp/C82-1005/"
}