Lasha Abzianidze. LangPro: Natural Language Theorem Prover. In Lucia Specia, Matt Post, Michael Paul, editors, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, EMNLP 2017, Copenhagen, Denmark, September 9-11, 2017 - System Demonstrations. pages 115-120, Association for Computational Linguistics, 2017. [doi]
@inproceedings{Abzianidze17,
title = {LangPro: Natural Language Theorem Prover},
author = {Lasha Abzianidze},
year = {2017},
url = {http://aclanthology.info/papers/D17-2020/d17-2020},
researchr = {https://researchr.org/publication/Abzianidze17},
cites = {0},
citedby = {0},
pages = {115-120},
booktitle = {Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, EMNLP 2017, Copenhagen, Denmark, September 9-11, 2017 - System Demonstrations},
editor = {Lucia Specia and Matt Post and Michael Paul},
publisher = {Association for Computational Linguistics},
isbn = {978-1-945626-97-5},
}