Complexity of DNF minimization and isomorphism testing for monotone formulas
scientific article; zbMATH DE number 5315340