@inproceedings{saint-dizier-1991-processing,
    title = "Processing Language with Logical Types and Active Constraints",
    author = "Saint-Dizier, Patrick",
    editor = {Kunze, J{\"u}rgen  and
      Reimann, Dorothee},
    booktitle = "Fifth Conference of the {E}uropean Chapter of the Association for Computational Linguistics",
    month = apr,
    year = "1991",
    address = "Berlin, Germany",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-emnlp/E91-1011/"
}Markdown (Informal)
[Processing Language with Logical Types and Active Constraints](https://preview.aclanthology.org/ingest-emnlp/E91-1011/) (Saint-Dizier, EACL 1991)
ACL