Jason I. Brown David Kelly J. Schönheim Robert E. Woodrow Graph coloring satisfying restraints. 123-143 1990 80 Discrete Mathematics 2 http://dx.doi.org/10.1016/0012-365X(90)90113-V db/journals/dm/dm80.html#BrownKSW90