TY - RPRT TI - Acquisition of Phrase Correspondences using Natural Deduction Proofs AU - Hitomi Yanaka AU - Koji Mineshima AU - Pascual Martinez-Gomez AU - Daisuke Bekki PY - 2018 UR - https://arxiv.org/abs/1804.07656 ID - 1804.07656 ER -