Chang, Jian, Jian-Liang Wu, Hui-Juan Wang, and Zhan-Hai Guo. 2014. “Total Colorings of $F_5$-Free Planar Graphs With Maximum Degree 8”. The Electronic Journal of Combinatorics 21 (1), P1.56. https://doi.org/10.37236/3303.