Datalog and constraint satisfaction with infinite templates

TitleDatalog and constraint satisfaction with infinite templates
Publication TypeJournal Article
Year of Publication2013
AuthorsBodirsky, M, Dalmau, V
JournalJ. Comput. Syst. Sci.
Volume79
Pagination79-100