1. O. M. Anshakov, V. K. Finn and D. P. Skvortsov, On logical means of formalization of plausible inferences, VIII International Congress of Logic, Methodology and Philosophy of Science, Abstracts, Moscow, ?Nauka? (1987), pp. 212?215.
2. O. M. Anshakov, S. V. Rychkov, On many-valued logical calculi, Semiotika i Informatika 19 (1982), pp. 90?117 (in Russian).
3. O. M. Anshakov, D. P. Skvortsov and V. K. Finn, Logical means of expert systems of JSM-type, Semiotika i Informatika 28 (1986), pp. 65?101 (in Russian).
4. O. M. Anshakov, D. P. Skvortsov and V. K. Finn, On axiomatization of infinite-valued logics corresponding to JSM-method of generation of hypotheses, IV All-Union Conference ?Application of methods of mathematical logic?, Abstracts, Tallinn (1986), pp. 24?26 (in Russian).
5. V. K. Finn, On machine-orientated formalisation of plausible reasonings in the F. Bacon and J. S. Mill style, Semiotika i Informatika 20 (1982), pp. 35?101 (in Russian).