@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/fix-sig-urls/E91-1011/"
}