@InProceedings{tian-miyao-matsuzaki:2014:P14-1,
  author    = {Tian, Ran  and  Miyao, Yusuke  and  Matsuzaki, Takuya},
  title     = {Logical Inference on Dependency-based Compositional Semantics},
  booktitle = {Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)},
  month     = {June},
  year      = {2014},
  address   = {Baltimore, Maryland},
  publisher = {Association for Computational Linguistics},
  pages     = {79--89},
  url       = {http://www.aclweb.org/anthology/P14-1008}
}