Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers. - Abhijit Mudigonda; R. Ryan Williams (ITCS, 2021)