Predicates whose maximal length functions increase periodically. - Michael Gilpin; Robert Shelton 001 (Discret. Math., 1990)