PCP characterizations of NP: toward a polynomially-small error-probability
scientific article; zbMATH DE number 5982632