TY  - RPRT
TI  - Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
AU  - C Aiswarya
AU  - Soumodev Mal
AU  - Prakash Saivasan
PY  - 2024
UR  - https://arxiv.org/abs/2401.07996
ID  - 2401.07996
ER  -