Razborov, A. A. (1994). On provably disjoint NP-pairs. BRICS Report Series, 1(36). https://doi.org/10.7146/brics.v1i36.21607