A. Beckmann, J Johannsen: "Bounded Arithmetic and Resolution-Based Proof Systems"; Kurt Gödel Society, Wien, 2004, ISBN: 3-901546-02-2; 130 pages.