Kraus, N., & Von Raumer, J. (2020, June). Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. Presented at ACM International Conference Proceeding Series, Saarbrücken Germany (held online)