@misc{indiciae780b237a61aa,
  title = {Defining long words succinctly in FO and MSO},
  author = {Lauri Hella and Miikka Vilander},
  year = {2022},
  url = {https://arxiv.org/abs/2202.10180},
  note = {Source identifier: 2202.10180}
}