Kraus, Nicolai, von Raumer, Jakob, "Path Spaces of Higher Inductive Types in Homotopy Type Theory", , 2019