Short proofs of normalization (0)

by Felix Joachimski, Ralph Matthes
Venue:Archive of Mathematical Logic