Acquisition of Phrase Correspondences Using Natural Deduction Proofs Hitomi Yanaka author Koji Mineshima author Pascual Martínez-Gómez author Daisuke Bekki author 2018-06 text Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers) Marilyn Walker editor Heng Ji editor Amanda Stent editor Association for Computational Linguistics New Orleans, Louisiana conference publication yanaka-etal-2018-acquisition 10.18653/v1/N18-1069 https://aclanthology.org/N18-1069/ 2018-06 756 766