@inproceedings{mineshima-etal-2015-higher,
    title = "Higher-order logical inference with compositional semantics",
    author = "Mineshima, Koji  and
      Mart{\'i}nez-G{\'o}mez, Pascual  and
      Miyao, Yusuke  and
      Bekki, Daisuke",
    editor = "M{\`a}rquez, Llu{\'i}s  and
      Callison-Burch, Chris  and
      Su, Jian",
    booktitle = "Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing",
    month = sep,
    year = "2015",
    address = "Lisbon, Portugal",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/D15-1244/",
    doi = "10.18653/v1/D15-1244",
    pages = "2055--2061"
}