Intuitionistic Frege systems are polynomially equivalent. Mints, G., Kojevnikov, A. (2004) Zapiski Nauchnykh Seminarov POMI