Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
scientific article; zbMATH DE number 1956201