A Space Lower Bound for Acceptance by One-Way Π2-Alternating MachinesViliam Geffert and Norbert PopélyRAIRO-Theor. Inf. Appl., 34 5 (2000) 357-372DOI: https://doi.org/10.1051/ita:2000101