Unambiguous auxiliary pushdown automata and semi-unbounded fan-in circuits
scientific article; zbMATH DE number 767833