1. A Note on Exponential Circuit Lower Bounds from Derandomizing Arthur–Merlin Games;Aaronson,2010
2. Algebrization: a new barrier in complexity theory;Aaronson;ACM Trans. Comput. Theory,2009
3. Σ11-formulae on finite structures;Ajtai;Ann. Pure Appl. Logic,1983
4. Learnability and automatizability;Alekhnovich,2004
5. On a method for obtaining more than quadratic effective lower bounds for the complexity of π-schemes;Andreev;Moscow Univ. Math. Bull.,1987