@InProceedings{abzianidze:2017:EMNLP2017Demos,
  author    = {Abzianidze, Lasha},
  title     = {LangPro: Natural Language Theorem Prover},
  booktitle = {Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing: System Demonstrations},
  month     = {September},
  year      = {2017},
  address   = {Copenhagen, Denmark},
  publisher = {Association for Computational Linguistics},
  pages     = {115--120},
  abstract  = {LangPro is an automated theorem prover for natural language.
	Given a set of premises and a hypothesis, it is able to prove semantic
	relations between them.
	The prover is based on a version of analytic tableau method specially designed
	for natural logic.
	The proof procedure operates on logical forms that preserve linguistic
	expressions to a large extent. 
	%This property makes the logical forms easily obtainable from syntactic trees.
	%, in particular, Combinatory Categorial Grammar derivation trees.   
	The nature of proofs is deductive and transparent.
	On the FraCaS and SICK textual entailment datasets, the prover achieves high
	results comparable to state-of-the-art.},
  url       = {http://www.aclweb.org/anthology/D17-2020}
}