J.-N. Monette, P. Flener, and J. Pearson, “A Propagator Design Framework for Constraints over Sequences”, AAAI, vol. 28, no. 1, Jun. 2014.