Alexis Bès, “An extension of the Cobham-Semënov Theorem”, J. symb. log., 65:1 (2000), 201
Bernard Boigelot, Stéphane Rassart, Pierre Wolper, Lecture Notes in Computer Science, 1443, Automata, Languages and Programming, 1998, 152
Pierre Wolper, Bernard Boigelot, Lecture Notes in Computer Science, 1427, Computer Aided Verification, 1998, 88
Alexis Bès, “Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem”, J. symb. log., 62:4 (1997), 1280
Christian Michaux, Roger Villemaire, “Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems”, Annals of Pure and Applied Logic, 77:3 (1996), 251
Pierre Wolper, Bernard Boigelot, Lecture Notes in Computer Science, 983, Static Analysis, 1995, 21