Winter, F.; Musliu, N.; Stuckey, P. Explaining Propagators for String Edit Distance Constraints. AAAI 2020, 34, 1676-1683.