@article{Blumensath_2004,
    doi = {10.1007/s00224-004-1133-y},
    url = {https://doi.org/10.1007%2Fs00224-004-1133-y},
    year = {2004},
    month = {sep},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {37},
    number = {6},
    pages = {641--674},
    author = {Achim Blumensath and Erich Grädel},
    title = {Finite Presentations of Infinite Structures: Automata and Interpretations},
    journal = {Theory of Computing Systems}
}

@article{Blumensath_2004, doi = {10.1007/s00224-004-1133-y}, url = {https://doi.org/10.1007%2Fs00224-004-1133-y}, year = {2004}, month = {sep}, publisher = {Springer Science and Business Media {LLC}}, volume = {37}, number = {6}, pages = {641--674}, author = {Achim Blumensath and Erich Grädel}, title = {Finite Presentations of Infinite Structures: Automata and Interpretations}, journal = {Theory of Computing Systems} }