Is there an alternate proof or an exposition of: Exponential lower bound for $\Sigma\Pi\Sigma$ circuits [Grigoriev-Karpinski(1998)]?
There was a subsequent extension by Grigoriev and Razborov (PS) that has a shorter exposition of proof.