Dependent edges in Mycielski graphs and 4-colorings of 4-skeletons. - Karen L. Collins; Kimberly Tysdal (J. Graph Theory, 2004)