@misc{indiciaeb121f7d0ba04,
  title = {Expressivity within second-order transitive-closure logic},
  author = {Flavio Ferrarotti and Jan Van den Bussche and Jonni Virtema},
  year = {2018},
  url = {https://arxiv.org/abs/1804.05926},
  note = {Source identifier: 1804.05926}
}