1. O. M. Anshakov, D. P. Skvortsov, and V. K. Finn, ?Some semantic and syntactic problems of the JSM method for mechanized generation of hypotheses,? NTI, Ser. 2, No. 11, 5?13 (1984).
2. O. M. Anshakov, D. P. Skvortsov, and V. K. Finn, ?On monotonic and nonmonotonic formalizations of the JSM method of mechanized generation of hypotheses,? in: School-Seminar on Semiotic Aspects of Formalization of Intellectual Activity, Kutaisi, 1985, abstracts of papers [in Russian], VINITI, Moscow (1985), pp. 108?114.
3. O. M. Anshakov, D. P. Skvortsov, and V. K. Finn, ?Logical tools of JSM type expert systems,? Semiotika i Informatika, No. 28, 65?101 (1986).
4. O. M. Anshakov, D. P. Skvortsov, and V. K. Finn, ?Logical tools of the JSM method of mechanized generation of hypotheses,? NTI, Ser. 2, No. 9, 9?17 (1987).
5. Ya. M. Barzdin', ?Some rules of inductive inference and their application,? Semiotika i Informatika, No. 19, 59?89 (1982).