Efficient Interactive Proofs for Non-Deterministic Bounded Space. - Cook, Joshua; Rothblum, Ron D. (2023)