@inproceedings{yanaka-etal-2018-acquisition,
    title = "Acquisition of Phrase Correspondences Using Natural Deduction Proofs",
    author = "Yanaka, Hitomi  and
      Mineshima, Koji  and
      Mart{\'i}nez-G{\'o}mez, Pascual  and
      Bekki, Daisuke",
    editor = "Walker, Marilyn  and
      Ji, Heng  and
      Stent, Amanda",
    booktitle = "Proceedings of the 2018 Conference of the North {A}merican Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)",
    month = jun,
    year = "2018",
    address = "New Orleans, Louisiana",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/N18-1069/",
    doi = "10.18653/v1/N18-1069",
    pages = "756--766"
}