Determining Semantic Textual Similarity using Natural Deduction Proofs Hitomi Yanaka author Koji Mineshima author Pascual Martínez-Gómez author Daisuke Bekki author 2017-09 text Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing Martha Palmer editor Rebecca Hwa editor Sebastian Riedel editor Association for Computational Linguistics Copenhagen, Denmark conference publication yanaka-etal-2017-determining 10.18653/v1/D17-1071 https://aclanthology.org/D17-1071/ 2017-09 681 691