.

Published in: Proof Complexity and Feasible Arithmetics (1996)