@misc{indiciae3773b26a1da0,
  title = {Automata-Theoretic Characterisations of Branching-Time Temporal Logics},
  author = {Massimo Benerecetti and Laura Bozzelli and Fabio Mogavero and Adriano Peron},
  year = {2024},
  url = {https://arxiv.org/abs/2404.17421},
  note = {Source identifier: 2404.17421}
}