Manuel Bodirsky Constraint Satisfaction Problems with Infinite Templates. 196-228 2008 Complexity of Constraints http://dx.doi.org/10.1007/978-3-540-92800-3_8 conf/dagstuhl/2008coc db/conf/dagstuhl/coc2008.html#Bodirsky08