@misc{indiciae91de9046f347, title = {FO logic on cellular automata orbits equals MSO logic}, author = {Guillaume Theyssier}, year = {2024}, url = {https://arxiv.org/abs/2404.16430}, note = {Source identifier: 2404.16430} }