Upper bounds for the formula size of symmetric Boolean functions
scientific article; zbMATH DE number 6362761