@misc{indiciaeada6e324e21f,
  title = {The Succinctness of First-order Logic over Modal Logic via a Formula Size Game},
  author = {Lauri Hella and Miikka Vilander},
  year = {2016},
  url = {https://arxiv.org/abs/1604.07225},
  note = {Source identifier: 1604.07225}
}