TY  - RPRT
TI  - Chain-Free String Constraints (Technical Report)
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig Bui Phi Diep
AU  - Lukáš Holík
AU  - Petr Janků
PY  - 2023
UR  - https://arxiv.org/abs/2307.03970
ID  - 2307.03970
ER  -