R. Amadini, G. Gange, and P. Stuckey, “Sweep-Based Propagation for String Constraint Solving”, AAAI, vol. 32, no. 1, Apr. 2018.