Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 - Beame, Paul W.; Buss, Samuel R.; Buss, Samuel R (DIMACS series in discrete mathematics and theoretical computer science ;, 1998)