Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa. Model-Theoretic Properties of ω-Automatic Structures. Theory Comput. Syst., 55(4):856-880, 2014. [doi]
@article{ZaidGKP14,
title = {Model-Theoretic Properties of ω-Automatic Structures},
author = {Faried Abu Zaid and Erich Grädel and Lukasz Kaiser and Wied Pakusa},
year = {2014},
doi = {10.1007/s00224-013-9508-6},
url = {http://dx.doi.org/10.1007/s00224-013-9508-6},
researchr = {https://researchr.org/publication/ZaidGKP14},
cites = {0},
citedby = {0},
journal = {Theory Comput. Syst.},
volume = {55},
number = {4},
pages = {856-880},
}