TY  - RPRT
TI  - Defining long words succinctly in FO and MSO
AU  - Lauri Hella
AU  - Miikka Vilander
PY  - 2022
UR  - https://arxiv.org/abs/2202.10180
ID  - 2202.10180
ER  -