@inproceedings{rademaker-etal-2023-extracting,
    title = "Extracting higher-order logic formulas from {E}nglish sentences",
    author = "Rademaker, Alexandre  and
      Lima, Guilherme  and
      Cerqueira, Renato",
    editor = "Abbas, Mourad  and
      Freihat, Abed Alhakim",
    booktitle = "Proceedings of the 6th International Conference on Natural Language and Speech Processing (ICNLSP 2023)",
    month = dec,
    year = "2023",
    address = "Online",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-emnlp/2023.icnlsp-1.19/",
    pages = "192--199"
}