J. Chang, J.-L. Wu, H.-J. Wang, and Z.-H. Guo, “Total Colorings of $F_5$-Free Planar Graphs with Maximum Degree 8”, Electron. J. Combin., vol. 21, no. 1, p. P1.56, Mar. 2014.