Marcel Crabbé Stratification and Cut-Elimination. 213-226 1991 56 J. Symb. Log. 1 db/journals/jsyml/jsyml56.html#Crabbe91