A Tableau Prover for Natural Logic and Language Lasha Abzianidze author 2015-09 text Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing Lluís Màrquez editor Chris Callison-Burch editor Jian Su editor Association for Computational Linguistics Lisbon, Portugal conference publication abzianidze-2015-tableau 10.18653/v1/D15-1296 https://aclanthology.org/D15-1296/ 2015-09 2492 2502