Relating monotone formula size and monotone depth of Boolean functions
scientific article; zbMATH DE number 3795865