Li, Jianguo, Ge, Shan, and Xu, Changqing. “Neighbor Sum Distinguishing Total Colorings of Planar Graphs With Girth at Least 5”. Utilitas Mathematica, vol. 104, Sept. 2017, https://utilitasmathematica.com/index.php/Index/article/view/1183.