Alexander A. Razborov. On provably disjoint NP-pairs. Electronic Colloquium on Computational Complexity (ECCC), 1(6), 1994. [doi]
@article{ECCC-TR94-006, title = {On provably disjoint NP-pairs}, author = {Alexander A. Razborov}, year = {1994}, url = {http://eccc.hpi-web.de/eccc-reports/1994/TR94-006/index.html}, researchr = {https://researchr.org/publication/ECCC-TR94-006}, cites = {0}, citedby = {0}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, volume = {1}, number = {6}, }