Circuit size is nonlinear in depth
scientific article; zbMATH DE number 3539158