1. Lattice Theory;Birkhoff,1979
2. Toxicology analysis by means of the JSM-method;Blinova;Bioinformatics,2003
3. Calcul pratique du treillis de Galois d'une correspondence;Bordat;Math. Sci. Hum.,1986
4. On machine-oriented formalization of plausible reasoning in the style of F. Backon–J.S. Mill;Finn;Semiotika Inform.,1983
5. Plausible reasoning in systems of JSM-type;Finn;Itogi Nauki Tekh., Inform.,1991