Proof Complexity and Feasible Arithmetics (Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Band 39) 81,36 EUR*