<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="garibay-2000-generating">
    <titleInfo>
        <title>Generating Text with a Theorem Prover</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Ivan</namePart>
        <namePart type="given">I</namePart>
        <namePart type="family">Garibay</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2000</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the ANLP-NAACL 2000 Student Research Workshop</title>
        </titleInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">garibay-2000-generating</identifier>
    <location>
        <url>https://aclanthology.org/A00-3003</url>
    </location>
    <part>
        <date>2000</date>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Generating Text with a Theorem Prover
%A Garibay, Ivan I.
%S Proceedings of the ANLP-NAACL 2000 Student Research Workshop
%D 2000
%F garibay-2000-generating
%U https://aclanthology.org/A00-3003

Markdown (Informal)

[Generating Text with a Theorem Prover](https://aclanthology.org/A00-3003) (Garibay, ANLP 2000)

• Generating Text with a Theorem Prover (Garibay, ANLP 2000)

ACL

• Ivan I. Garibay. 2000. Generating Text with a Theorem Prover. In Proceedings of the ANLP-NAACL 2000 Student Research Workshop.