A. A. Razborov, “On provably disjoint NP-pairs”, BRICS, vol. 1, no. 36, Nov. 1994.