@InProceedings{charniak-goldman:1988:ACL,
  author    = {Eugene Charniak  and  Robert Goldman},
  title     = {A Logic for Semantic Interpretation},
  booktitle = {Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics},
  month     = {June},
  year      = {1988},
  address   = {Buffalo, New York, USA},
  publisher = {Association for Computational Linguistics},
  pages     = {87--94},
  url       = {http://www.aclweb.org/anthology/P88-1011},
  doi       = {10.3115/982023.982034}
}