Datalog and constraint satisfaction with infinite templates. (2013)

by Manuel Bodirsky, Vıctor Dalmau
Venue:J. Comput. Syst. Sci.,