An Extended Automata to Efficiently Match Counting Constraints Patterns. - Yao Yuan; Liu Peng; Zhang Zheng; Wang Hui; Gou Cheng Cheng (ICEE, 2010)