@misc{indiciaea4d4e3e3427f, title = {An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet}, author = {Alexis Bès}, year = {2008}, doi = {10.2168/lmcs-4(1:8)2008}, url = {https://arxiv.org/abs/0801.2498}, note = {Source identifier: 0801.2498} }