Defining Long Words Succinctly in FO and MSO.

Lauri Hella, Miikka Vilander

Browse the full CiE paper archive.