@article{GDZPPN002044420,
title = {Arithmetische Pr\"adikate \"uber einem Bereich endlicher Automaten.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {16},
year = {1974},
pages = {159-176},
zbl = {0352.02030},
url = {http://dml.mathdoc.fr/item/GDZPPN002044420}
}
Ottmann, Th. Arithmetische Prädikate über einem Bereich endlicher Automaten.. Archiv für mathematische Logik und Grundlagenforschung, Tome 16 (1974) pp. 159-176. http://gdmltest.u-ga.fr/item/GDZPPN002044420/