Michael Soltys The proof theoretic strength of the Steinitz exchange theorem. 53-60 2007 155 Discrete Applied Mathematics 1 http://dx.doi.org/10.1016/j.dam.2006.05.001 db/journals/dam/dam155.html#Soltys07