Proof complexity and feasible arithmetics :DIMACS workshop, April 21-24, 1996 - Beame, Paul W.; Buss, Samuel R. (American Mathematical Society, 1998)