[ChenHLT20] A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving Chen, Y.-F.; Havlena, V.; Lengál, O. and Turrini, A. In APLAS, pages 343-363, Springer, 2020.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-64437-6_18