Talk
September 26, 2003
Seminar in Computing, Department of Informatics, University of Oslo

Proof Search and Free Variable Sequent Calculi