TY - RPRT TI - Every graph with no $\mathcal{K}_9^{-6}$ minor is $8$-colorable AU - Michael Lafferty AU - Zi-Xia Song PY - 2022 UR - https://arxiv.org/abs/2209.05259 ID - 2209.05259 ER -