1. Alchemy 2 system. https://code.google.com/archive/p/alchemy-2/
2. Alchemy 2 system repository. https://github.com/PhDP/alchemy2
3. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, ch. 2. pp. 19–99. Elsevier (2001)
4. Baltag, A., Smets, S.: Keep changing your beliefs, aiming for the truth. Erkenntnis 75(2), 255–270 (2011)
5. Beltagy, I., Chau, C., Boleda, G., Garrette, D., Erk, K., Mooney, R.: Montague meets Markov: Deep semantics with probabilistic logical form. In: Diab, M., Baldwin, T., Baroni, M. (eds.) Proc. of *SEM’12 – the 2nd Joint Conference on Lexical and Computational Semantics. pp. 11–21. Association for Computational Linguistics (2013)