DIMACS Workshop: Proof Complexity and Feasible Arithmetics 1996

maintained by Schloss Dagstuhl LZI, founded at University of Trier