Automatic sequences in negative bases and proofs of some conjectures of shevelevJeffrey Shallit, Sonja Linghui Shan and Kai Hsiang YangRAIRO-Theor. Inf. Appl., 57 (2023) 4DOI: https://doi.org/10.1051/ita/2022011