@InProceedings{koch:1986:NODALIDA,
  author    = {Koch, Gregers},
  title     = {Computational linguistics and mathematical logic from a computer science point of view},
  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},
  pages     = {131--141},
  url       = {http://www.aclweb.org/anthology/W85-0112}
}