@misc{indiciae4ad5a16c68f6,
  title = {On the Computational Complexity of Satisfiability Solving for String Theories},
  author = {Susmit Jha and Sanjit A. Seshia and Rhishikesh Limaye},
  year = {2009},
  url = {https://arxiv.org/abs/0903.2825},
  note = {Source identifier: 0903.2825}
}