1. Finn, V.K., About Possibilities of Formalization of Plausible Reasonings by Multi-Valued Logics Means, Vsesoyuz. simpozium po logike i metodologii nauki, (All-Union Symp. on Logics and Methodology of Science), Kiev, 1976, pp. 82–83.
2. Finn, V.K., Data Bases with Incomplete Information and New Method of Hypotheses Automatic Generation, in Dialogovye i faktograficheskie sistemy informatsionnogo obespecheniya (Dialogue and Factographic Systems of Information Assurance), Moscow, 1981, pp. 153–156.
3. Finn, V.K., About Machine-Oriented Formalization of Plausible Reasonings in F. Beckon-J.S. Mill Style, Semiotika I Informatika, 1983, No. 20, pp. 35–101.
4. Avtomaticheskoe porozhdenie gipotez v intellektual’nykh sistemakh (Hypotheses Automatic Generation in Intellectual Systems), Finn, V.K., Ed., Moscow: LIBROKOM, 2009.
5. DSM-metod avtomaticheskogo porozhdeniya gipotez: Logicheskie i epistemologicheskie osnovaniya (JSM-Method of Hypotheses Automatic Generation: Logical and Epistemological Foundations), Anshakov, O.M., Ed., Moscow: LIBROKOM, 2009.