Beldiceanu, N.; Flener, P.; Pearson, J.; Van Hentenryck, P. Propagating Regular Counting Constraints. AAAI 2014, 28.