Laroseand Tesson. Universal Algebra and Hardness Results for Constraint Satisfaction Problems. no. 18, Elsevier BV, 2009, doi:10.1016/j.tcs.2008.12.048.