Fast Cut-Elimination by Projection (1996)

by Matthias Baaz, Alexander Leitsch
Venue:Proceedings Computer Science Logic ’96, volume 1258 of Lecture Notes in Computer Science