Niessen, T. How to Find Overfull Subgraphs in Graphs With Large Maximum Degree, II. Electron. J. Combin. 2000, 8, R7.