Upper and lower bounds for certain graph-accessibility-problems on bounded alternating omega-branching programs - Meinel, Christoph; Waack, Stephan 1954- (1992)