Buchholtz, U., & Rijke, E. (2023). The long exact sequence of homotopy n-groups. Mathematical Structures in Computer Science, 33(Special Issue 8: Homotopy Type Theory 2019), 679-687. https://doi.org/10.1017/S0960129523000038