@misc{indiciaec9ad07bf6dc7,
  title = {A General Framework for the Derivation of Regular Expressions},
  author = {Pascal Caron and Jean-Marc Champarnaud and Ludovic Mignot},
  year = {2012},
  doi = {10.1051/ita/2014010},
  url = {https://arxiv.org/abs/1212.5003},
  note = {Source identifier: 1212.5003}
}