Competing provers yield improved Karp-Lipton collapse results
scientific article; zbMATH DE number 2165063
scientific article