TY  - RPRT
TI  - LangPro: Natural Language Theorem Prover
AU  - Lasha Abzianidze
PY  - 2017
UR  - https://arxiv.org/abs/1708.09417
ID  - 1708.09417
ER  -