@inproceedings{tian-etal-2014-logical,
    title = "Logical Inference on Dependency-based Compositional Semantics",
    author = "Tian, Ran  and
      Miyao, Yusuke  and
      Matsuzaki, Takuya",
    editor = "Toutanova, Kristina  and
      Wu, Hua",
    booktitle = "Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)",
    month = jun,
    year = "2014",
    address = "Baltimore, Maryland",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/P14-1008/",
    doi = "10.3115/v1/P14-1008",
    pages = "79--89"
}