@inproceedings{van-der-linden-minnen-1990-algorithms,
    title = "Algorithms for Generation in {L}ambek Theorem Proving",
    author = "van der Linden, Erik-Jan  and
      Minnen, Guido",
    booktitle = "28th Annual Meeting of the Association for Computational Linguistics",
    month = jun,
    year = "1990",
    address = "Pittsburgh, Pennsylvania, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/add-emnlp-2024-awards/P90-1028/",
    doi = "10.3115/981823.981851",
    pages = "220--226"
}