On the scope of the universal-algebraic approach to constraint satisfaction (2012)

by M Bodirsky, M Hils, B Martin
Venue:Log. Methods Comput. Sci