A one-round, two-prover, zero-knowledge protocol for NP
scientific article; zbMATH DE number 778334