@inproceedings{abzianidze-2015-tableau,
title = "A Tableau Prover for Natural Logic and Language",
author = "Abzianidze, Lasha",
editor = "M{\`a}rquez, Llu{\'\i}s and
Callison-Burch, Chris and
Su, Jian",
booktitle = "Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing",
month = sep,
year = "2015",
address = "Lisbon, Portugal",
publisher = "Association for Computational Linguistics",
url = "https://aclanthology.org/D15-1296",
doi = "10.18653/v1/D15-1296",
pages = "2492--2502",
}
<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="abzianidze-2015-tableau">
<titleInfo>
<title>A Tableau Prover for Natural Logic and Language</title>
</titleInfo>
<name type="personal">
<namePart type="given">Lasha</namePart>
<namePart type="family">Abzianidze</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>2015-09</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<relatedItem type="host">
<titleInfo>
<title>Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing</title>
</titleInfo>
<name type="personal">
<namePart type="given">Lluís</namePart>
<namePart type="family">Màrquez</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Chris</namePart>
<namePart type="family">Callison-Burch</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Jian</namePart>
<namePart type="family">Su</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<originInfo>
<publisher>Association for Computational Linguistics</publisher>
<place>
<placeTerm type="text">Lisbon, Portugal</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">conference publication</genre>
</relatedItem>
<identifier type="citekey">abzianidze-2015-tableau</identifier>
<identifier type="doi">10.18653/v1/D15-1296</identifier>
<location>
<url>https://aclanthology.org/D15-1296</url>
</location>
<part>
<date>2015-09</date>
<extent unit="page">
<start>2492</start>
<end>2502</end>
</extent>
</part>
</mods>
</modsCollection>
%0 Conference Proceedings
%T A Tableau Prover for Natural Logic and Language
%A Abzianidze, Lasha
%Y Màrquez, Lluís
%Y Callison-Burch, Chris
%Y Su, Jian
%S Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing
%D 2015
%8 September
%I Association for Computational Linguistics
%C Lisbon, Portugal
%F abzianidze-2015-tableau
%R 10.18653/v1/D15-1296
%U https://aclanthology.org/D15-1296
%U https://doi.org/10.18653/v1/D15-1296
%P 2492-2502
Markdown (Informal)
[A Tableau Prover for Natural Logic and Language](https://aclanthology.org/D15-1296) (Abzianidze, EMNLP 2015)
ACL
- Lasha Abzianidze. 2015. A Tableau Prover for Natural Logic and Language. In Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, pages 2492–2502, Lisbon, Portugal. Association for Computational Linguistics.