Richard Beigel
Jun Tarui
Computational Complexity
Degree lower bounds of tower-type for approximating formulas with parity quantifiers