@misc{indiciae42118db07b25,
  title = {Satisfiability of Context-free String Constraints with Subword-ordering and Transducers},
  author = {C Aiswarya and Soumodev Mal and Prakash Saivasan},
  year = {2024},
  url = {https://arxiv.org/abs/2401.07996},
  note = {Source identifier: 2401.07996}
}