@misc{indiciae92a24f4024f2,
  title = {A proof theory of right-linear (omega-)grammars via cyclic proofs},
  author = {Anupam Das and Abhishek De},
  year = {2024},
  url = {https://arxiv.org/abs/2401.13382},
  note = {Source identifier: 2401.13382}
}