{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T11:59:28Z","timestamp":1723031968029},"publisher-location":"Morristown, NJ, USA","reference-count":0,"publisher":"Association for Computational Linguistics","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.3115\/1034678.1034747","type":"proceedings-article","created":{"date-parts":[[2007,5,11]],"date-time":"2007-05-11T11:06:22Z","timestamp":1178881582000},"page":"451-456","source":"Crossref","is-referenced-by-count":17,"title":["A semantically-derived subset of English for hardware verification"],"prefix":"10.3115","author":[{"given":"Alexander","family":"Holt","sequence":"first","affiliation":[]},{"given":"Ewan","family":"Klein","sequence":"additional","affiliation":[]}],"member":"1643","event":{"name":"the 37th annual meeting of the Association for Computational Linguistics","start":{"date-parts":[[1999,6,20]]},"number":"37","sponsor":["undetermined"],"location":"College Park, Maryland","end":{"date-parts":[[1999,6,26]]}},"container-title":["Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics  -"],"original-title":[],"deposited":{"date-parts":[[2013,12,16]],"date-time":"2013-12-16T18:08:32Z","timestamp":1387217312000},"score":1,"resource":{"primary":{"URL":"http:\/\/portal.acm.org\/citation.cfm?doid=1034678.1034747"}},"subtitle":[],"proceedings-subject":"Computational Linguistics","short-title":[],"issued":{"date-parts":[[1999]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3115\/1034678.1034747","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}