@inproceedings{talkingwiththetheoremproverto,
  title = {Talking with the Theorem Prover to Interactively Solve Natural Language Inference},
  author = {Atsushi Sumita and Yusuke Miyao and Koji Mineshima},
  year = {2021},
  booktitle = {PACLIC 2021 11},
  url = {https://aclanthology.org/2021.paclic-1.44},
}