The polynomial bounds of proof complexity in Frege systems. Aleksanyan, S.R., Chubaryan, A.A. (2009) Sibirskij Matematicheskij Zhurnal