Klaus Kriegel Stephan Waack Lower Bounds on The Complexity of Real-Time Branching Programs. 447-459 1988 22 RAIRO Theor. Informatics Appl. 4 db/journals/ita/ita22.html#KriegelW88 https://doi.org/10.1051/ita/1988220404471