TY  - RPRT
TI  - What Is Decidable about String Constraints with the ReplaceAll Function
AU  - Taolue Chen
AU  - Yan Chen
AU  - Matthew Hague
AU  - Anthony W. Lin
AU  - Zhilin Wu
PY  - 2017
UR  - https://arxiv.org/abs/1711.03363
ID  - 1711.03363
ER  -