Ryan Williams
2011 IEEE 26th Annual Conference on Computational Complexity
Degree lower bounds of tower-type for approximating formulas with parity quantifiers