@inproceedings{chatzikyriakidis-luo-2014-natural,
title = "Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond",
author = "Chatzikyriakidis, Stergios and
Luo, Zhaohui",
editor = "Cooper, Robin and
Dobnik, Simon and
Lappin, Shalom and
Larsson, Staffan",
booktitle = "Proceedings of the {EACL} 2014 Workshop on Type Theory and Natural Language Semantics ({TTNLS})",
month = apr,
year = "2014",
address = "Gothenburg, Sweden",
publisher = "Association for Computational Linguistics",
url = "https://aclanthology.org/W14-1405",
doi = "10.3115/v1/W14-1405",
pages = "37--45",
}
<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="chatzikyriakidis-luo-2014-natural">
<titleInfo>
<title>Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond</title>
</titleInfo>
<name type="personal">
<namePart type="given">Stergios</namePart>
<namePart type="family">Chatzikyriakidis</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Zhaohui</namePart>
<namePart type="family">Luo</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>2014-04</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<relatedItem type="host">
<titleInfo>
<title>Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)</title>
</titleInfo>
<name type="personal">
<namePart type="given">Robin</namePart>
<namePart type="family">Cooper</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Simon</namePart>
<namePart type="family">Dobnik</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Shalom</namePart>
<namePart type="family">Lappin</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Staffan</namePart>
<namePart type="family">Larsson</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<originInfo>
<publisher>Association for Computational Linguistics</publisher>
<place>
<placeTerm type="text">Gothenburg, Sweden</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">conference publication</genre>
</relatedItem>
<identifier type="citekey">chatzikyriakidis-luo-2014-natural</identifier>
<identifier type="doi">10.3115/v1/W14-1405</identifier>
<location>
<url>https://aclanthology.org/W14-1405</url>
</location>
<part>
<date>2014-04</date>
<extent unit="page">
<start>37</start>
<end>45</end>
</extent>
</part>
</mods>
</modsCollection>
%0 Conference Proceedings
%T Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond
%A Chatzikyriakidis, Stergios
%A Luo, Zhaohui
%Y Cooper, Robin
%Y Dobnik, Simon
%Y Lappin, Shalom
%Y Larsson, Staffan
%S Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
%D 2014
%8 April
%I Association for Computational Linguistics
%C Gothenburg, Sweden
%F chatzikyriakidis-luo-2014-natural
%R 10.3115/v1/W14-1405
%U https://aclanthology.org/W14-1405
%U https://doi.org/10.3115/v1/W14-1405
%P 37-45
Markdown (Informal)
[Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond](https://aclanthology.org/W14-1405) (Chatzikyriakidis & Luo, TTNLS 2014)
ACL