On non-recursive trade-offs between finite-turn pushdown automata - Malcher, Andreas 1971- (Inst. für Informatik, 2004)