@article{10_4064_fm212_3_1,
     author = {Zofia Adamowicz and Konrad Zdanowski},
     title = {Lower and upper bounds for the provability of {Herbrand} consistency
in weak arithmetics},
     journal = {Fundamenta Mathematicae},
     pages = {191--216},
     publisher = {mathdoc},
     volume = {212},
     number = {3},
     year = {2011},
     doi = {10.4064/fm212-3-1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm212-3-1/}
}