@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://aclanthology.org/2021.paclic-1.44",
pages = "411--420",
}
<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="sumita-etal-2021-talking">
<titleInfo>
<title>Talking with the Theorem Prover to Interactively Solve Natural Language Inference</title>
</titleInfo>
<name type="personal">
<namePart type="given">Atsushi</namePart>
<namePart type="family">Sumita</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Yusuke</namePart>
<namePart type="family">Miyao</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Koji</namePart>
<namePart type="family">Mineshima</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>2021-11</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<relatedItem type="host">
<titleInfo>
<title>Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation</title>
</titleInfo>
<name type="personal">
<namePart type="given">Kaibao</namePart>
<namePart type="family">Hu</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Jong-Bok</namePart>
<namePart type="family">Kim</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Chengqing</namePart>
<namePart type="family">Zong</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Emmanuele</namePart>
<namePart type="family">Chersoni</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<originInfo>
<publisher>Association for Computational Lingustics</publisher>
<place>
<placeTerm type="text">Shanghai, China</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">conference publication</genre>
</relatedItem>
<identifier type="citekey">sumita-etal-2021-talking</identifier>
<location>
<url>https://aclanthology.org/2021.paclic-1.44</url>
</location>
<part>
<date>2021-11</date>
<extent unit="page">
<start>411</start>
<end>420</end>
</extent>
</part>
</mods>
</modsCollection>
%0 Conference Proceedings
%T Talking with the Theorem Prover to Interactively Solve Natural Language Inference
%A Sumita, Atsushi
%A Miyao, Yusuke
%A Mineshima, Koji
%Y Hu, Kaibao
%Y Kim, Jong-Bok
%Y Zong, Chengqing
%Y Chersoni, Emmanuele
%S Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation
%D 2021
%8 November
%I Association for Computational Lingustics
%C Shanghai, China
%F sumita-etal-2021-talking
%U https://aclanthology.org/2021.paclic-1.44
%P 411-420
Markdown (Informal)
[Talking with the Theorem Prover to Interactively Solve Natural Language Inference](https://aclanthology.org/2021.paclic-1.44) (Sumita et al., PACLIC 2021)
ACL