The Control of Searching and Backtracking in String Pattern Matching.

Ralph E. Griswold The Control of Searching and Backtracking in String Pattern Matching. 50-64 1984 Implementations of Prolog db/books/collections/Campbell84.html#Griswold84