Arnold Beckmann and Jan Johannsen: Bounded Arithmetic and Resolution-Based Proof Systems. KGS Wien 2004, X+127pp, ISBN 3-901546-02-2. orderform-vol7.pdf