@InProceedings{abzianidze:2015:EMNLP,
  author    = {Abzianidze, Lasha},
  title     = {A Tableau Prover for Natural Logic and Language},
  booktitle = {Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing},
  month     = {September},
  year      = {2015},
  address   = {Lisbon, Portugal},
  publisher = {Association for Computational Linguistics},
  pages     = {2492--2502},
  url       = {http://aclweb.org/anthology/D15-1296}
}