@misc{indiciae33b3255e08a8,
  title = {The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum},
  author = {Luca Aceto and Antonis Achilleos and Aggeliki Chalki and Anna Ingolfsdottir},
  year = {2024},
  url = {https://arxiv.org/abs/2405.13697},
  note = {Source identifier: 2405.13697}
}