TY  - RPRT
TI  - A Program That Simplifies Regular Expressions (Tool paper)
AU  - Baudouin Le Charlier
PY  - 2023
UR  - https://arxiv.org/abs/2307.06436
ID  - 2307.06436
ER  -