@misc{indiciae2834e40ea492,
  title = {How Concise are Chains of co-Büchi Automata?},
  author = {Rüdiger Ehlers},
  year = {2026},
  url = {https://arxiv.org/abs/2603.19806},
  note = {Source identifier: 2603.19806}
}