Lower bounds on the complexity of real-time branching programsKlaus Kriegel and Stephan WaackRAIRO-Theor. Inf. Appl., 22 4 (1988) 447-459DOI: https://doi.org/10.1051/ita/1988220404471