1. A. Aho and J. Hopcroft,The Design and Analysis of Computer Algorithms, Addison-Wesley (1974).
2. O. M. Anshakov, D. P. Skvortsov, and V. K. Finn, “Logical means of the JSM-method of automatic hypothesis generation,”Nauchn. Tekh. Inf., Ser. 2 (Autom. Document. Math. Linguist.), No. 9, 9–17 (1978).
3. O. M. Anshakov, D. P. Skvortsov, V. K. Finn, and V. G. Ivashko, “Logical means of the JSM-method of automatic generation: main notions and the system of inference rules,”Nauchn. Tekh. Inf., Ser. 2 (Autom. Document. Math. Linguist.), No. 9, 10–18 (1987).
4. O. M. Anshakov, V. K. Finn, and D. P. Skvortsov, “On logical means of formalization of plausible inferences,” In:VIII International Congress of Logic, Methodol., and Phil. of Sci., Abstracts, 212–215, Nauka, Moscow, (1987).
5. O. M. Anshakov, V. K. Finn, and D. P. Skvortsov, “On axiomatization of many-valued logics associated with the formalization of plausible reasonings,”Stud. Log.,25, No. 4, 23–47 (1989).