@inproceedings{koch-1986-computational,
    title = "Computational linguistics and mathematical logic from a computer science point of view",
    author = "Koch, Gregers",
    editor = "Karlsson, Fred",
    booktitle = "Proceedings of the 5th Nordic Conference of Computational Linguistics ({NODALIDA} 1985)",
    year = "1986",
    address = "Helsinki, Finland",
    publisher = "Department of General Linguistics, University of Helsinki, Finland",
    url = "https://preview.aclanthology.org/fix-sig-urls/W85-0112/",
    pages = "131--141"
}