@misc{indiciae9712fa721bae,
  title = {A Program That Simplifies Regular Expressions (Tool paper)},
  author = {Baudouin Le Charlier},
  year = {2023},
  url = {https://arxiv.org/abs/2307.06436},
  note = {Source identifier: 2307.06436}
}