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