Approaching arithmetic theories with finite-state automata
scientific article; zbMATH DE number 7225114