Miltersen, Peter Bro, m.fl. “Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy”. BRICS Report Series, bd. 6, nr. 46, december 1999, doi:10.7146/brics.v6i46.20116.