Jeffrey Shallit. Decidability and Enumeration for Automatic Sequences: A Survey. In Andrei A. Bulatov, Arseny M. Shur, editors, Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings. Volume 7913 of Lecture Notes in Computer Science, pages 49-63, Springer, 2013. [doi]
Abstract is missing.