Datalog and Constraint Satisfaction with Infinite Templates.

Manuel Bodirsky, Vctor Dalmau

Browse the full STACS paper archive.