"Restarting Automata with Auxiliary Symbols and Small Lookahead."

Natalie Schluter (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics