1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level, 1st edn. Addison-Wesley Longman Publishing Co., Inc, Boston (1995)
2. Abzianidze, L.: Langpro: natural language theorem prover. In: Conference on Empirical Methods in Natural Language Processing (2017)
3. Abzianidze, L.: LangPro: natural language theorem prover (2021). https://naturallogic.pro/LangPro/. Accessed 31 May 2021
4. Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Natural logic knowledge bases and their graph form. Data Knowl. Eng. (2020)
5. Andreasen, T., Bulskov, H., Nilsson, J.F.: A natural logic system for large knowledge bases. In: Tropmann-Frick, M., Thalheim, B., Jaakkola, H., Kiyoki, Y., Yoshida, N. (eds.) Information Modelling and Knowledge Bases, vol. 333, pp. 119–133. IOS Press (2021). https://ebooks.iospress.nl/volumearticle/56439