Phokion G. Kolaitis
Moshe Y. Vardi
Information and Computation
Degree lower bounds of tower-type for approximating formulas with parity quantifiers