Alan Tucker A reduction procedure for coloring perfect <i>K</i><sub><i>4</i></sub>-free graphs. 151-172 1987 43 J. Comb. Theory, Ser. B 2 http://dx.doi.org/10.1016/0095-8956(87)90019-0 db/journals/jct/jctb43.html#Tucker87