Automata, Languages and Programming
scientific article; zbMATH DE number 2198287
scientific article