Proof system representations of degrees of disjoint NP-pairs
scientific article; zbMATH DE number 6149184
scientific article