Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids
scientific article; zbMATH DE number 7002044