Lugar de publicación Extensions of Büchi's Problem: Questions of Decidability for Addition and kth Powers. 185:171-194. 2005