1. M. Agrawal, N. Kayal, N. Saxena, PRIMES is in P, preprint, Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur, 2002, 9pp.
2. Σ11-formulae on finite structures;Ajtai;Ann. Pure Appl. Logic,1983
3. A lower bound for primality;Allender;J. Comput. System Sci.,2001
4. The average sensitivity of square-freeness;Bernasconi;Comput. Complexity,2000
5. Circuit and decision tree complexity of some number theoretic problems;Bernasconi;Inform. and Comput.,2001