A Space Lower Bound for Acceptance by One-Way Π2-Alternating Machines
and
RAIRO-Theor. Inf. Appl., 34 5 (2000) 357-372
Published online: 15 April 2002
DOI: 10.1051/ita:2000101
