"Complexity of Preimage Problems for Deterministic Finite Automata."

Mikhail V. Berlinkov, Robert Ferens, Marek Szykula (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics