<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="holt-klein-1999-semantically">
    <titleInfo>
        <title>A semantically-derived subset of English for hardware verification</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Alexander</namePart>
        <namePart type="family">Holt</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Ewan</namePart>
        <namePart type="family">Klein</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>1999-06</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the 37th Annual Meeting of the Association for Computational Linguistics</title>
        </titleInfo>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">College Park, Maryland, USA</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">holt-klein-1999-semantically</identifier>
    <identifier type="doi">10.3115/1034678.1034747</identifier>
    <location>
        <url>https://aclanthology.org/P99-1058</url>
    </location>
    <part>
        <date>1999-06</date>
        <extent unit="page">
            <start>451</start>
            <end>456</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T A semantically-derived subset of English for hardware verification
%A Holt, Alexander
%A Klein, Ewan
%S Proceedings of the 37th Annual Meeting of the Association for Computational Linguistics
%D 1999
%8 June
%I Association for Computational Linguistics
%C College Park, Maryland, USA
%F holt-klein-1999-semantically
%R 10.3115/1034678.1034747
%U https://aclanthology.org/P99-1058
%U https://doi.org/10.3115/1034678.1034747
%P 451-456

Markdown (Informal)

[A semantically-derived subset of English for hardware verification](https://aclanthology.org/P99-1058) (Holt & Klein, ACL 1999)

• A semantically-derived subset of English for hardware verification (Holt & Klein, ACL 1999)

ACL

• Alexander Holt and Ewan Klein. 1999. A semantically-derived subset of English for hardware verification. In Proceedings of the 37th Annual Meeting of the Association for Computational Linguistics, pages 451–456, College Park, Maryland, USA. Association for Computational Linguistics.