TY  - RPRT
TI  - Determining Semantic Textual Similarity using Natural Deduction Proofs
AU  - Hitomi Yanaka
AU  - Koji Mineshima
AU  - Pascual Martinez-Gomez
AU  - Daisuke Bekki
PY  - 2017
UR  - https://arxiv.org/abs/1707.08713
ID  - 1707.08713
ER  -