1. Popper, K., The Logic of Scientific Discovery, Hutchinson & Co, 1959.
2. Chen, Ch. and Li, R., Matematicheskaya logika i avtomaticheskoe dokazatel’stvo teorem (Mathematical Logic and Automatic Theorem Proving), Moscow: Nauka, 1983.
3. Artif. Intell., 1980, vol. 13, nos. 1–2.
4. Anshakov, O.M., Skvortsov, D.P., and Finn, V.K., Logical means of expert systems such as JSM, Semiotika Inf., 1986, no. 28, pp. 65–102.
5. Finn, V.K., Intellekt, informatsionnoe obshchestvo, gumanitarnoe znanie i obrazovanie (Intelligence, Information Society, Humanitarian Knowledge, and Education), Moscow: LENAND, 2021.