<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="tafjord-etal-2021-proofwriter">
    <titleInfo>
        <title>ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Oyvind</namePart>
        <namePart type="family">Tafjord</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Bhavana</namePart>
        <namePart type="family">Dalvi</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Peter</namePart>
        <namePart type="family">Clark</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2021-aug</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021</title>
        </titleInfo>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Online</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">tafjord-etal-2021-proofwriter</identifier>
    <identifier type="doi">10.18653/v1/2021.findings-acl.317</identifier>
    <location>
        <url>https://aclanthology.org/2021.findings-acl.317</url>
    </location>
    <part>
        <date>2021-aug</date>
        <extent unit="page">
            <start>3621</start>
            <end>3634</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language
%A Tafjord, Oyvind
%A Dalvi, Bhavana
%A Clark, Peter
%S Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021
%D 2021
%8 aug
%I Association for Computational Linguistics
%C Online
%F tafjord-etal-2021-proofwriter
%R 10.18653/v1/2021.findings-acl.317
%U https://aclanthology.org/2021.findings-acl.317
%U https://doi.org/10.18653/v1/2021.findings-acl.317
%P 3621-3634

Markdown (Informal)

[ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language](https://aclanthology.org/2021.findings-acl.317) (Tafjord et al., Findings 2021)

• ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language (Tafjord et al., Findings 2021)

ACL

• Oyvind Tafjord, Bhavana Dalvi, and Peter Clark. 2021. ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language. In Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, pages 3621–3634, Online. Association for Computational Linguistics.