conservation and preservation of strong normalization for generalized reduction (2000)

by F Kamareddine, Postponement
Venue:Journal of Logic and Computation