LangPro: Natural Language Theorem Prover Lasha Abzianidze author 2017-09 text Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing: System Demonstrations Lucia Specia editor Matt Post editor Michael Paul editor Association for Computational Linguistics Copenhagen, Denmark conference publication abzianidze-2017-langpro 10.18653/v1/D17-2020 https://aclanthology.org/D17-2020/ 2017-09 115 120