1. Anshakov, O.M., Finn, V.K., Skvortsov, D.P.: On axiomatization of manyvalued logics associated with the formalization of plausible reasonings. Studia Logica 25(4), 23–47 (1989)
2. Duquenne, V., Guigues, J.-L.: Familles minimales d’implications informatives résultant d’un tableau de données binaires. Math. Sci. Hum. 24(95), 5–18 (1986)
3. Finn, V.K.: On Machine-Oriented Formalization of Plausible Reasoning in the Style of F. Backon–J. S. Mill. Semiotika i Informatika 20, 35–101 (1983) [in Russian]
4. Finn, V.K.: Plausible Reasoning in Systems of JSM Type. Itogi Nauki i Tekhniki. Seriya Informatika 15, 54–101 (1991) [in Russian]
5. Ganter, B.: Algorithmen zur Formalen Begriffsanalyse. In: Ganter, B., Wille, R., Wolff, K.E. (eds.) Beiträge zur Begriffsanalyse, B. I. Wissenschaftsverlag, Mannheim, pp. 241–254 (1987)