Approaching Arithmetic Theories with Finite-State Automata

Publication
Language and Automata Theory and Applications, LATA