Charlier, E., Rampersad, N., & Shallit, J. (2012). Enumeration and decidable properties of automatic sequences.
International Journal of Foundations of Computer Science, 23 (5), 1035-1066. doi:10.1142/S0129054112400448
https://hdl.handle.net/2268/125566