@misc{indiciaeb65ffd68dae5,
  title = {A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity},
  author = {Clemens Grabmayer},
  year = {2023},
  doi = {10.46298/lmcs-19(2:17)2023},
  url = {https://arxiv.org/abs/2203.09501},
  note = {Source identifier: 2203.09501}
}