A semantically-derived subset of English for hardware verification Alexander Holt author Ewan Klein author 1999-06 text Proceedings of the 37th Annual Meeting of the Association for Computational Linguistics Association for Computational Linguistics College Park, Maryland, USA conference publication holt-klein-1999-semantically 10.3115/1034678.1034747 https://aclanthology.org/P99-1058/ 1999-06 451 456