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