Razborov, A. A. On Provably Disjoint NP-Pairs. BRICS 1994, 1.