Neeraj Kayal, Chandan Saha, Ramprasad Saptharishi. A super-polynomial lower bound for regular arithmetic formulas. In David B. Shmoys, editor, Symposium on Theory of Computing, STOC 2014, New York, NY, USA, May 31 - June 03, 2014. pages 146-153, ACM, 2014. [doi]
Abstract is missing.