1. Adamowicz, Z.: On Tableaux consistency in weak theories. Preprint # 618, Institute of Mathematics, Polish Academy of Sciences (2001). http://www.impan.pl/Preprints/p618.ps
2. Adamowicz Z, Zbierski P: On Herbrand consistency in weak arithmetic. Arch. Math. Logic 40, 399–413 (2001). doi: 10.1007/s001530000072
3. Adamowicz, Z.: Herbrand consistency and bounded arithmetic. Fund. Math. 171, 279–292 (2002). http://journals.impan.gov.pl/fm/Inf/171-3-7.html
4. Adamowicz Z, Zdanowski K: Lower bounds for the unprovability of Herbrand consistency in weak arithmetics. Fund. Math. 212, 191–216 (2011). doi: 10.4064/fm212-3-1
5. Buss, S.R.: On Herbrand’s theorem. In: Maurice, D., Leivant, R. (eds.) Selected Papers from the International Workshop on Logic and Computational Complexity. Indianapolis, IN, USA, October 13–16, 1994, Lecture Notes in Computer Science, vol. 960, pp. 195–209. Springer, Berlin (1995). http://math.ucsd.edu/~sbuss/ResearchWeb/herbrandtheorem/