Kraus, Nicolai, "A Rewriting Coherence Theorem with Applications in Homotopy Type Theory", , 2023