Chang, Jian, Jian-Liang Wu, Hui-Juan Wang, and Zhan-Hai Guo. “Total Colorings of $F_5$-Free Planar Graphs With Maximum Degree 8”. The Electronic Journal of Combinatorics 21, no. 1 (March 17, 2014): #P1.56. Accessed May 17, 2026. https://www.combinatorics.org/ojs/index.php/eljc/article/view/v21i1p56.