On the strong normalization of natural deduction with permutation-conversions (2005)

by P De Groote
Venue:In RTA’99