Emilie Charlier, Narad Rampersad, Jeffrey Shallit. Enumeration and Decidable Properties of Automatic Sequences. In Giancarlo Mauri, Alberto Leporati, editors, Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings. Volume 6795 of Lecture Notes in Computer Science, pages 165-179, Springer, 2011. [doi]
Abstract is missing.