T. Niessen, “How to Find Overfull Subgraphs in Graphs with Large Maximum Degree, II”, Electron. J. Combin., vol. 8, no. 1, p. R7, Dec. 2000.