Miltersen, Peter Bro, et al. “Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy”. BRICS Report Series, vol. 6, no. 46, Dec. 1999, doi:10.7146/brics.v6i46.20116.