Backward pattern matching automaton. - Jan Antos; Borivoj Melichar (Stringology, 2005)

Finite Automata for Generalized Approach to Backward Pattern Matching. - Jan Antos; Borivoj Melichar (CIAA, 2010)