Akira Koseki Hideaki Komatsu Toshio Nakatani Preference-Directed Graph Coloring. 33-44 2002 PLDI http://doi.acm.org/10.1145/512529.512535 db/conf/pldi/pldi2002.html#KosekiKN02