I.  Juhos, Tóth, A., Tezuka, M., Tann, P., and van Hemert, J. I., ?A new permutation model for solving the graph k-coloring problem?, in Kalmàr Workshop on Logic and Computer Science, 2003, p. 189--199.