@misc{indiciae44a4570a4ee9,
  title = {Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)},
  author = {Clemens Grabmayer},
  year = {2022},
  url = {https://arxiv.org/abs/2209.12188},
  note = {Source identifier: 2209.12188}
}