A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Reinhard Kahle, Peter Schröder-Heister, Robert F. Stärk. "Proof Theory in Computer Science (Dagstuhl Seminar 01411)." (2002)