Reviewing bounds on the circuit size of the hardest functions
scientific article; zbMATH DE number 5642364