@techreport{RR-03-13, title = "Towards a dichotomy theorem for the counting constraint satisfaction problem", author = "Andrei A. Bulatov and Victor Dalmau", year = "2003", institution = "Oxford University Computing Laboratory", month = "July", number = "RR-03-13", }