A generalized non-pumping lemma for regular languages.

2012
420-427