@misc{indiciae190ec3f62c00,
  title = {Complexity through Translations for Modal Logic with Recursion},
  author = {Luca Aceto and Antonis Achilleos and Elli Anastasiadi and Adrian Francalanza and Anna Ingolfsdottir},
  year = {2022},
  doi = {10.4204/eptcs.370.3},
  url = {https://arxiv.org/abs/2209.10377},
  note = {Source identifier: 2209.10377}
}