PICH, Ján. Circuit lower bounds in bounded arithmetics. Annals of Pure and Applied Logic. 2015, 166(1), 29-45. ISSN 0168-0072. E-ISSN 1873-2461. Available: https://doi.org/10.1016/j.apal.2014.08.004.