A lower bound on the mod 6 degree of the OR function - Tardos, G.; Mix Barrington, D.A. (Computational complexity, 1998)