Lauri Hella, Miikka Vilander. Defining Long Words Succinctly in FO and MSO. In Ulrich Berger 0001, Johanna N. Y. Franklin, Florin Manea, Arno Pauly, editors, Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings. Volume 13359 of Lecture Notes in Computer Science, pages 125-138, Springer, 2022. [doi]
Abstract is missing.