@misc{indiciaefd7c054bb205,
  title = {String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)},
  author = {Lukas Holik and Petr Janku and Anthony W. Lin and Philipp Rümmer and Tomas Vojnar},
  year = {2020},
  url = {https://arxiv.org/abs/2010.15975},
  note = {Source identifier: 2010.15975}
}