Zofia Adamowicz Pawel Zbierski On Herbrand consistency in weak arithmetic. 399-413 2001 40 Arch. Math. Log. 6 http://dx.doi.org/10.1007/s001530000072 db/journals/aml/aml40.html#AdamowiczZ01