@article{cj13-05,
        author={Eric Allender, George Davie, Luke Friedman, Samuel B. Hopkins, 
and Iddo Tzameret},
	title={Kolmogorov Complexity, Circuits, and the Strength of Formal 
Theories of Arithmetic},
	journal={Chicago Journal of Theoretical Computer Science},
         volume={2013},
	 number{5},
	 month={April},
	 year={2013}
}