"Input-Driven Pushdown Automata for Edit Distance Neighborhood."

Viliam Geffert, Zuzana Bednárová, Alexander Szabari (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics