Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick. Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). Dagstuhl Reports, 7(9):1-25, 2017. [doi]
@article{DawarGKS17,
title = {Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361)},
author = {Anuj Dawar and Erich Grädel and Phokion G. Kolaitis and Thomas Schwentick},
year = {2017},
doi = {10.4230/DagRep.7.9.1},
url = {https://doi.org/10.4230/DagRep.7.9.1},
researchr = {https://researchr.org/publication/DawarGKS17},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {7},
number = {9},
pages = {1-25},
}