Manuel Bodirsky, Víctor Dalmau. Datalog and Constraint Satisfaction with Infinite Templates. In Bruno Durand, Wolfgang Thomas, editors, STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings. Volume 3884 of Lecture Notes in Computer Science, pages 646-659, Springer, 2006. [doi]
@inproceedings{BodirskyD06,
title = {Datalog and Constraint Satisfaction with Infinite Templates},
author = {Manuel Bodirsky and Víctor Dalmau},
year = {2006},
doi = {10.1007/11672142_53},
url = {http://dx.doi.org/10.1007/11672142_53},
tags = {constraints, Datalog},
researchr = {https://researchr.org/publication/BodirskyD06},
cites = {0},
citedby = {0},
pages = {646-659},
booktitle = {STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings},
editor = {Bruno Durand and Wolfgang Thomas},
volume = {3884},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-32301-5},
}