@misc{indiciaec897d0ed7660,
  title = {A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints},
  author = {Quang Loc Le},
  year = {2016},
  url = {https://arxiv.org/abs/1610.01331},
  note = {Source identifier: 1610.01331}
}