@misc{indiciaee4f83d2e4b41,
  title = {A Rewriting Coherence Theorem with Applications in Homotopy Type Theory},
  author = {Nicolai Kraus and Jakob von Raumer},
  year = {2022},
  doi = {10.1017/s0960129523000026},
  url = {https://arxiv.org/abs/2107.01594},
  note = {Source identifier: 2107.01594}
}