Intuitionistic Frege systems are polynomially equivalent. - Mints, G.; Kojevnikov, A. (Journal of Mathematical Sciences, 2006)