DIMACS Workshop: Proof Complexity and Feasible Arithmetics 1996

maintained by Schloss Dagstuhl LZI at University of Trier