@article{Bodirsky_2013,
    doi = {10.1016/j.jcss.2012.05.012},
    url = {https://doi.org/10.1016%2Fj.jcss.2012.05.012},
    year = {2013},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {79},
    number = {1},
    pages = {79--100},
    author = {Manuel Bodirsky and V{\'{\i}}ctor Dalmau},
    title = {Datalog and constraint satisfaction with infinite templates},
    journal = {Journal of Computer and System Sciences}
}

@article{Bodirsky_2013, doi = {10.1016/j.jcss.2012.05.012}, url = {https://doi.org/10.1016%2Fj.jcss.2012.05.012}, year = {2013}, month = {feb}, publisher = {Elsevier {BV}}, volume = {79}, number = {1}, pages = {79--100}, author = {Manuel Bodirsky and V{\'{\i}}ctor Dalmau}, title = {Datalog and constraint satisfaction with infinite templates}, journal = {Journal of Computer and System Sciences} }