@misc{indiciaebdebe8fe7432,
  title = {Quantifying over Trees in Monadic Second-Order Logic},
  author = {Massimo Benerecetti and Laura Bozzelli and Fabio Mogavero and Adriano Peron},
  year = {2023},
  url = {https://arxiv.org/abs/2304.11613},
  note = {Source identifier: 2304.11613}
}