Extracting formal specifications from natural language regulatory documents Nikhil Dinesh author Aravind Joshi author Insup Lee author Bonnie Webber author 2006 text Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5) Johan Bos editor Alexander Koller editor conference publication dinesh-etal-2006-extracting https://aclanthology.org/W06-3902/ 2006