The complexity of computing maximal word functions
one-way nondeterministic auxiliary pushdown automata
scientific article; zbMATH DE number 561485
scientific article