Kraus, N., & von Raumer, J. (2019). Path Spaces of Higher Inductive Types in Homotopy Type Theory. In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). https://doi.org/10.1109/LICS.2019.8785661