Multilevel descriptions of classes decreasing the number of steps in solving pattern recognition problems described by propositional formulas
scientific article; zbMATH DE number 5345559