APA (7th ed.) Citation

Kraus, N., & von Raumer, J. (2022). A rewriting coherence theorem with applications in homotopy type theory. Mathematical Structures in Computer Science, 32(7), 982. https://doi.org/10.1017/S0960129523000026

Chicago Style (17th ed.) Citation

Kraus, Nicolai, and Jakob von Raumer. "A Rewriting Coherence Theorem with Applications in Homotopy Type Theory." Mathematical Structures in Computer Science 32, no. 7 (2022): 982. https://doi.org/10.1017/S0960129523000026.

MLA (9th ed.) Citation

Kraus, Nicolai, and Jakob von Raumer. "A Rewriting Coherence Theorem with Applications in Homotopy Type Theory." Mathematical Structures in Computer Science, vol. 32, no. 7, 2022, p. 982, https://doi.org/10.1017/S0960129523000026.