@misc{indiciaed19b6e9900b5,
  title = {Derivative-Based Diagnosis of Regular Expression Ambiguity},
  author = {Martin Sulzmann and Kenny Zhuo Ming Lu},
  year = {2016},
  url = {https://arxiv.org/abs/1604.06644},
  note = {Source identifier: 1604.06644}
}