Martin Grohe The Structure of Tractable Constraint Satisfaction Problems. 58-72 2006 conf/mfcs/2006 MFCS http://dx.doi.org/10.1007/11821069_5 db/conf/mfcs/mfcs2006.html#Grohe06