<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="van-der-linden-minnen-1990-algorithms">
    <titleInfo>
        <title>Algorithms for Generation in Lambek Theorem Proving</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Erik-Jan</namePart>
        <namePart type="family">van der Linden</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Guido</namePart>
        <namePart type="family">Minnen</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>1990-06</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>28th Annual Meeting of the Association for Computational Linguistics</title>
        </titleInfo>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Pittsburgh, Pennsylvania, USA</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">van-der-linden-minnen-1990-algorithms</identifier>
    <identifier type="doi">10.3115/981823.981851</identifier>
    <location>
        <url>https://aclanthology.org/P90-1028</url>
    </location>
    <part>
        <date>1990-06</date>
        <extent unit="page">
            <start>220</start>
            <end>226</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Algorithms for Generation in Lambek Theorem Proving
%A van der Linden, Erik-Jan
%A Minnen, Guido
%S 28th Annual Meeting of the Association for Computational Linguistics
%D 1990
%8 June
%I Association for Computational Linguistics
%C Pittsburgh, Pennsylvania, USA
%F van-der-linden-minnen-1990-algorithms
%R 10.3115/981823.981851
%U https://aclanthology.org/P90-1028
%U https://doi.org/10.3115/981823.981851
%P 220-226

Markdown (Informal)

[Algorithms for Generation in Lambek Theorem Proving](https://aclanthology.org/P90-1028) (van der Linden & Minnen, ACL 1990)

• Algorithms for Generation in Lambek Theorem Proving (van der Linden & Minnen, ACL 1990)

ACL

• Erik-Jan van der Linden and Guido Minnen. 1990. Algorithms for Generation in Lambek Theorem Proving. In 28th Annual Meeting of the Association for Computational Linguistics, pages 220–226, Pittsburgh, Pennsylvania, USA. Association for Computational Linguistics.