A rewriting coherence theorem with applications in homotopy type theory. - Kraus, Nicolai; von Raumer, Jakob (Mathematical Structures in Computer Science, 2022)