Fully parallelized multi-prover protocols for NEXP-time
scientific article; zbMATH DE number 1022050