Dynamic semantics for a controlled natural language | IEEE Conference Publication | IEEE Xplore