@inproceedings{abzianidze-2015-tableau,
    title = "A Tableau Prover for Natural Logic and Language",
    author = "Abzianidze, Lasha",
    editor = "M{\`a}rquez, Llu{\'i}s  and
      Callison-Burch, Chris  and
      Su, Jian",
    booktitle = "Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing",
    month = sep,
    year = "2015",
    address = "Lisbon, Portugal",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/D15-1296/",
    doi = "10.18653/v1/D15-1296",
    pages = "2492--2502"
}