@inproceedings{tomita-etal-2025-natural,
    title = "Natural Language Inference with {CCG} Parser and Automated Theorem Prover for {DTS}",
    author = "Tomita, Asa  and
      Matsubara, Mai  and
      Daido, Hinari  and
      Bekki, Daisuke",
    editor = "Bernard, Timoth{\'e}e  and
      Mickus, Timothee",
    booktitle = "Proceedings of the Second Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-2)",
    month = sep,
    year = "2025",
    address = {D{\"u}sseldorf, Germany},
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/iwcs-25-ingestion/2025.brigap-1.1/",
    pages = "1--7",
    ISBN = "979-8-89176-317-3"
}