"Reversible Pushdown Automata and Bidirectional Parsing."

Mark-Jan Nederhof (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics