Propagating Regular Counting Constraints | Read Paper on Bytez