On the Decidability and Expressive Power of Several Theories Based on String Constraints. - Justus Greve-Kramer; Tore Koß; Florin Manea; Timo Specht (DCFS, 2025)