pdf bibTalking with the Theorem Prover to Interactively Solve Natural Language InferenceAtsushi Sumita | Yusuke Miyao | Koji MineshimaProceedings of the 35th Pacific Asia Conference on Language, Information and Computation