Vince Bárány, Erich Grädel, Sasha Rubin. Automata-based presentations of infinite structures. In Javier Esparza, Christian Michaux, Charles Steinhorn, editors, Finite and Algorithmic Model Theory. Volume 379 of London Mathematical Society Lecture Note Series, pages 1-76, Cambridge University Press, 2011.
@incollection{BaranyGR11,
title = {Automata-based presentations of infinite structures},
author = {Vince Bárány and Erich Grädel and Sasha Rubin},
year = {2011},
researchr = {https://researchr.org/publication/BaranyGR11},
cites = {0},
citedby = {0},
pages = {1-76},
booktitle = {Finite and Algorithmic Model Theory},
editor = {Javier Esparza and Christian Michaux and Charles Steinhorn},
volume = {379},
series = {London Mathematical Society Lecture Note Series},
publisher = {Cambridge University Press},
isbn = {978-0-521-71820-2},
}