Kraus, N., & Von Raumer, J. (2020). Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. In LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (662-675). https://doi.org/10.1145/3373718.3394800