@misc{indiciae2e4e86ce3fd3,
  title = {String Attractors: Verification and Optimization},
  author = {Dominik Kempa and Alberto Policriti and Nicola Prezza and Eva Rotenberg},
  year = {2018},
  doi = {10.4230/lipics.esa.2018.52},
  url = {https://arxiv.org/abs/1803.01695},
  note = {Source identifier: 1803.01695}
}