@inproceedings{miller-nadathur-1986-uses,
    title = "Some Uses of Higher-Order Logic in Computational Linguistics",
    author = "Miller, Dale A.  and
      Nadathur, Gopalan",
    booktitle = "24th Annual Meeting of the Association for Computational Linguistics",
    month = jul,
    year = "1986",
    address = "New York, New York, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/P86-1037/",
    doi = "10.3115/981131.981165",
    pages = "247--256"
}