On the AVDTC of 4-regular graphs
adjacent-vertex-distinguishing total coloring
scientific article; zbMATH DE number 6308312