Journal version:

    Sam Buss
    Polynomially Veriable Aritmetic
    in Logic, Automata, Computational Complexity: The Works of Stephen A. Cook 2003, pp. 95-106.
    ACM Press.

    This paper is not available for download (sorry!)