@misc{indiciae39102562ad8b,
  title = {Supercompiling String Programs Using Word Equations as Constraints},
  author = {Antonina Nepeivoda},
  year = {2018},
  url = {https://arxiv.org/abs/1807.09175},
  note = {Source identifier: 1807.09175}
}