https://1library.net/document/yd9v85lz-adjacent-vertex-distinguishing-total-coloring-splitting-graph-graphs.html