Liang, Reynolds, Tsiskaridze, Tinelli, Barrett, Deters, 2016. An efficient SMT solver for string constraints 48.. https://doi.org/10.1007/s10703-016-0247-6