title = {Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems.},
author = {Christian Michaux and Roger Villemaire}, journal = {Ann. Pure Appl. Logic}, number = {3}, pages = {251-277}, url = {http://dblp.uni-trier.de/db/journals/apal/apal77.html#MichauxV96}, volume = {77}, year = {1996}, description = {dblp}, date = {2003-11-28},
keywords = {dblp }
::