F. Winter, N. Musliu, and P. Stuckey, “Explaining Propagators for String Edit Distance Constraints”, AAAI, vol. 34, no. 02, pp. 1676-1683, Apr. 2020.