An algorithm of classification of unranked propositional logic formulas
scientific article; zbMATH DE number 6212559