Andrei A. Bulatov A dichotomy theorem for constraint satisfaction problems on a 3-element set. 66-120 2006 53 J. ACM 1 http://doi.acm.org/10.1145/1120582.1120584 db/journals/jacm/jacm53.html#Bulatov06