Non-uniform ACC Circuit Lower Bounds
2011 IEEE 26th Annual Conference on Computational Complexity
Degree lower bounds of tower-type for approximating formulas with parity quantifiers