@misc{indiciaebe60d6ca0550,
  title = {Tableaux like model checking on-the-fly for ATL+},
  author = {Serenella Cerrito},
  year = {2021},
  url = {https://arxiv.org/abs/2107.05378},
  note = {Source identifier: 2107.05378}
}