"Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional ..."

Georg Bachmeier, Michael Luttenberger, Maximilian Schlund (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics