1. Buss, S.: Bounded Arithmetic, Bibliopolis, Naples (1986)
2. Buss, S., Kraj´ıček, J., Takeuti, G.: On provably total functions in bounded arithmetic theories
${R^i_3}$
,
${\it U^i_2}$
and
${\it V^i_2}$
. In: Clote, P., Kraj´ıček, J. (eds.) Arithmetic, proof theory and computational complexity, pp. 116–161. Oxford University Press, Oxford (1993)
3. Samuel, R.: Buss. Relating the bounded arithmetic and polynomial time hierarchies. Annals of Pure and Applied Logic 75(1–2), 67–77 (1995)
4. Buss, S.R.: Handbook of Proof Theory. Elsevier Science B. V., Amsterdam (1998)
5. Buss, S.R.: Polynomial-size frege and resolution proofs of st-connectivity and hex tautologies. Typewritten manuscript (2003)