Unambiguous simulations of auxiliary pushdown automata and circuits - Niedermeier, Rolf 19XX-; Rossmanith, Peter (1990)