@InProceedings{miller-nadathur:1986:ACL,
  author    = {Dale A. Miller  and  Gopalan Nadathur},
  title     = {Some Uses of Higher-Order Logic in Computational Linguistics},
  booktitle = {Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics},
  month     = {July},
  year      = {1986},
  address   = {New York, New York, USA},
  publisher = {Association for Computational Linguistics},
  pages     = {247--256},
  url       = {http://www.aclweb.org/anthology/P86-1037},
  doi       = {10.3115/981131.981165}
}