Richard Nock Pascal Jappy Jean Sallantin Generalized Graph Colorability and Compressibility of Boolean Formulae. 237-246 http://dx.doi.org/10.1007/3-540-49381-6_26 1998 conf/isaac/1998 ISAAC db/conf/isaac/isaac98.html#NockJS98