Complexity of the \(r\)-query tautologies in the presence of a generic oracle
scientific article; zbMATH DE number 1881631
scientific article