Frank Harary Wolfgang Slany Oleg Verbitsky On the Computational Complexity of the Forcing Chromatic Number. 1-19 2007 37 SIAM J. Comput. 1 http://dx.doi.org/10.1137/050641594 db/journals/siamcomp/siamcomp37.html#HararySV07