Unambiguous simulations of auxiliary pushdown automata and circuits - Niedermeier, Rolf 19XX-; Rossmanith, Peter (Technische Universität <München>: TUM-I, 1990)