Sriram V. Pemmaraju Aravind Srinivasan The Randomized Coloring Procedure with Symmetry-Breaking. 306-319 2008 ICALP (1) http://dx.doi.org/10.1007/978-3-540-70575-8_26 conf/icalp/2008-1 db/conf/icalp/icalp2008-1.html#PemmarajuS08