Bulatov, Dalmau, 2007. Towards a dichotomy theorem for the counting constraint satisfaction problem 205.. https://doi.org/10.1016/j.ic.2006.09.005