@inproceedings{sumita-etal-2021-talking,
    title = "Talking with the Theorem Prover to Interactively Solve Natural Language Inference",
    author = "Sumita, Atsushi  and
      Miyao, Yusuke  and
      Mineshima, Koji",
    editor = "Hu, Kaibao  and
      Kim, Jong-Bok  and
      Zong, Chengqing  and
      Chersoni, Emmanuele",
    booktitle = "Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation",
    month = "11",
    year = "2021",
    address = "Shanghai, China",
    publisher = "Association for Computational Lingustics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2021.paclic-1.44/",
    pages = "411--420"
}