@article{journals/apal/MichauxV96,
	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},
	biburl = {http://www.bibsonomy.org/bibtex/2ef2bc5709cdbce3e26e3760c1a37895d/dblp},
	description = {dblp},
	date = {2003-11-28},
	keywords = {dblp }
}