Deciding path size of nondeterministic (and input-driven) pushdown automata
scientific article; zbMATH DE number 7619402
scientific article