Razborov, A. A. “On Provably Disjoint NP-Pairs”. BRICS Report Series, vol. 1, no. 36, Nov. 1994, doi:10.7146/brics.v1i36.21607.