@inproceedings{dinesh-etal-2006-extracting,
    title = "Extracting formal specifications from natural language regulatory documents",
    author = "Dinesh, Nikhil  and
      Joshi, Aravind  and
      Lee, Insup  and
      Webber, Bonnie",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://aclanthology.org/W06-3902",
}