ECS 220 8a:8.2 NL and NPSPACE nondeterministic space-bounded computation and prover-verifier characterization

From David Doty