N. Beldiceanu, P. Flener, J. Pearson, and P. Van Hentenryck, “Propagating Regular Counting Constraints”, AAAI, vol. 28, no. 1, Jun. 2014.