@inproceedings{konig-1989-parsing,
    title = "Parsing as Natural Deduction",
    author = "Konig, Esther",
    booktitle = "27th Annual Meeting of the Association for Computational Linguistics",
    month = jun,
    year = "1989",
    address = "Vancouver, British Columbia, Canada",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-emnlp/P89-1033/",
    doi = "10.3115/981623.981656",
    pages = "272--279"
}Markdown (Informal)
[Parsing as Natural Deduction](https://preview.aclanthology.org/ingest-emnlp/P89-1033/) (Konig, ACL 1989)
ACL
- Esther Konig. 1989. Parsing as Natural Deduction. In 27th Annual Meeting of the Association for Computational Linguistics, pages 272–279, Vancouver, British Columbia, Canada. Association for Computational Linguistics.