1. Abadi, M. et al. (2016). “TensorFlow: A System for Large-scale Machine Learning.” In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation, OSDI’16, pp. 265–283.
2. Abzianidze, L. (2015). “A Tableau Prover for Natural Logic and Language.” In Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, pp. 2492–2502, Lisbon, Portugal. Association for Computational Linguistics.
3. Abzianidze, L. (2016). A Natural Proof System for Natural Language. Ph.D. thesis, Tilburg University.
4. Abzianidze, L. (2017). “LangPro: Natural Language Theorem Prover.” In Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, pp. 115–120, Copenhagen, Denmark. Association for Computational Linguistics.
5. Bangalore, S. and Joshi, A. K. (1999). “Supertagging: An Approach to Almost Parsing.” Computational Linguistics, 25 (2), pp. 237–265.